Lightweight verification of array indexing

Proceedings paper

Title:

Authors:

M. Kellogg, V. Dort, S. Millstein, M. Ernst

Publication:

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018

DOI:

10.1145/3213846.3213849

Year:

2018

ISBN:

978-1-4503-5699-2

BibTeX:

@inproceedings{kellogg_lightweight_2018,
    title = {{Lightweight verification of array indexing}},
    author = {Kellogg, Martin and Dort, Vlastimil and Millstein, Suzanne and Ernst, Michael D.},
    year = {2018},
    booktitle = {{Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018}},
    publisher = {ACM},
    location = {Amsterdam, Netherlands},
    doi = {10.1145/3213846.3213849},
    isbn = {978-1-4503-5699-2},
    pages = {3--14},
}