The feasibility of automated feedback-directed specification-based test generation: A case study of a high-assurance operating system
- Sam Weber
- Amitkumar Paradkar
- et al.
- 2008
- ISSRE 2008
Publications
Date
Featured collections
Popular topics
4 results for Matthew Kaplan
Less is more: A minimalistic approach to UML model-based conformance test generation
- Matthew Kaplan
- Tim Klinger
- et al.
- 2008
- ICST 2008
Test machine scheduling and optimization for z/OS
- Matthew Kaplan
- Tracy Kimbrel
- et al.
- 2007
- CI-Sched 2007
Toward engineered, useful use cases
- Clay Williams
- Matthew Kaplan
- et al.
- 2005
- Journal of Object Technology