Relating counterexamples to test cases in CTL model checking specifications. - Duminda Wijesekera; Paul Ammann; Lingya Sun; Gordon Fraser 001 (A-MOST, 2007)