Incremental program testing using program dependence graphs. (1993)

by S Bates, S Horwitz
Venue:In Proc. 20th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (POPL),