Brent Hailpern Padmanabhan Santhanam Software debugging, testing, and verification. 4-12 2002 41 IBM Systems Journal 1 http://dx.doi.org/10.1147/sj.411.0004 db/journals/ibmsj/ibmsj41.html#HailpernS02