Incremental program testing using program dependence graphs (1993)

by S Bates, S Horwitz
Venue:In: Proceedings of the 20th ACM Symposium on Principles of Programming Languages