Winnowing Tests: Getting Quality Coverage From a Model Checker Without Quantity
20th, Digital avionics systems conference ; 2001 ; Daytona Beach, FL
2001-01-01
9B6
Also known as 20th DASC. Theme: Space aviation's next frontier. IEEE cat nos 01CH37219
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Modeling and Marshaling: Making Tests from Model Checker Counterexamples
British Library Conference Proceedings | 2000
|