Ball, T., Naik, M., Rajamani, S.K.,
"From symptom to cause: localizing errors in counterexample traces",
Conference Record of POPL 2003: The 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 2003, ACM, pp. 97-105.
;97 ;;Quote: using correct traces to identify the cause of multiple, erroneous traces of a model checker
;98 ;;Quote: efficient algorithms to compute the correct traces of a model checker; linear in size of state space