Software validation via scalable path-sensitive value °ow analysis (2004)

by Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang
Venue:In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA