Sciweavers

AMOST
2007
ACM

Relating counterexamples to test cases in CTL model checking specifications

13 years 7 months ago
Relating counterexamples to test cases in CTL model checking specifications
Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Where AMOST
Authors Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser
Comments (0)