From Symptom to Cause: Localizing Errors in Counterexample Traces (2003)

by Thomas Ball , Mayur Naik , Sriram K. Rajamani
Venue:In Principles of Programming Languages
Citations:80 - 4 self