Incremental Program Testing Using Program Dependence Graphs. - Samual Bates; Susan Horwitz (POPL, 1993)