Hiralal Agrawal Richard A. DeMillo Eugene H. Spafford An Execution-Backtracking Approach to Debugging. 21-26 1991 8 IEEE Software 3 db/journals/software/software8.html#AgrawalDS91