|
Volumn 2, Issue , 2001, Pages
|
Winnowing tests: Getting quality coverage from a model checker without quantity
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
COST EFFECTIVENESS;
ELECTRONIC EQUIPMENT TESTING;
SPECIFICATIONS;
WINNOWING TESTS;
AUTOMATIC TESTING;
|
EID: 0035161624
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (9)
|
References (10)
|