Proceedings paper

Title:
Lightweight verification of array indexing
Authors:
Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst
Publication:
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018
DOI:
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},
}