Link bibtex
Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst:
Lightweight verification of array indexing, in Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018,  ISBN: 978-1-4503-5699-2, pp. 3-14
DOI: 10.1145/3213846.3213849, 2018