Brent Hailpern Padmanabhan Santhanam Software debugging, testing, and verification. 4-12 2002 41 IBM Systems Journal 1 http://researchweb.watson.ibm.com/journal/sj/411/hailpern.html db/journals/ibmsj/ibmsj41.html#HailpernS02