Winnowing Tests: Getting Quality Coverage From a Model Checker Without Quantity
20th, Digital avionics systems conference ; 2001 ; Daytona Beach, FL
01.01.2001
9B6
Also known as 20th DASC. Theme: Space aviation's next frontier. IEEE cat nos 01CH37219
Aufsatz (Konferenz)
Englisch
© 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
|