From symptom to cause: localizing errors in counterexample traces.

Thomas Ball, Mayur Naik, Sriram K. Rajamani

Browse the full POPL paper archive.