From symptom to cause: Localizing errors in counterexample traces. (2003)

by T Ball, M Naik, S K Rajamani
Venue:In Proceedings of 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL