![](/img/cover-not-exists.png)
[ACM Press the 3rd international workshop - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 - Relating counterexamples to test cases in CTL model checking specifications
Wijesekera, Duminda, Ammann, Paul, Sun, Lingya, Fraser, GordonYear:
2007
Language:
english
DOI:
10.1145/1291535.1291543
File:
PDF, 204 KB
english, 2007