Whodunit? causal analysis for counterexamples (2006)

by C Wang, Z Yang, F Ivancic, A Gupta
Venue:In Automated Technology for Verification and Analysis, LNCS