"Enhancing Test Coverage by Back-tracing Model-checker Counterexamples."

Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics