Lightweight verification of array indexing.

Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst

Browse the full ISSTA paper archive.