Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson. Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques. Softw. Test., Verif. Reliab., 7(4):201-227, 1997.
@article{LoLO97,
title = {Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques},
author = {Raymond W. Lo and Karl N. Levitt and Ronald A. Olsson},
year = {1997},
tags = {data validation, program analysis, program verification, analysis, data-flow programming, data-flow, data-flow analysis},
researchr = {https://researchr.org/publication/LoLO97},
cites = {0},
citedby = {0},
journal = {Softw. Test., Verif. Reliab.},
volume = {7},
number = {4},
pages = {201-227},
}