Testing Concurrent Object-Oriented Systems with Spec Explorer
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 542-547
- https://doi.org/10.1007/11526841_38
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Optimal strategies for testing nondeterministic systemsPublished by Association for Computing Machinery (ACM) ,2004
- Generating finite state machines from abstract state machinesPublished by Association for Computing Machinery (ACM) ,2002