Winnowing tests: Getting quality coverage from a model checker without quantity

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 2, Issue , 2001, Pages 9B61-9B64

  Black, Paul E ^a   Ranville, Scott ^b  

^a NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

^b New Eagle Software   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85013577367     PISSN: 21557195     EISSN: 21557209     Source Type: Journal    
DOI: 10.1109/DASC.2001.964253     Document Type: Article

References (10)

1. Modeling and marshaling: Making tests from model checker counterexamples
2. A specification-based coverage metric to evaluate test sets
3. Automated testing requirements - Automotive perspective
4. Using model checking to generate test from specifications
5. Toward a more reliable theory of software reliability
6. A logic-model semantics for SCR software requirements
7. Mutation of model checker specifications for test generation and evaluation