TITLE     : Enhancing test coverage by back-tracing model-checker counterexamples
AUTHOR(S) : Fantechi A, Gnesi S, Maggiore A
TYPE      : Conference article
YEAR      : 2005
CODE      : 91190

*** DO NOT EDIT THIS FILE ***