![]() |
Volumn 3997 LNCS, Issue , 2006, Pages 87-102
|
Interactive testing with HOL-testGen
|
Author keywords
Black box testing; Interactive testing; Symbolic test case generations; Theorem proving; White box testing
|
Indexed keywords
AUTOMATION;
COMPUTATIONAL METHODS;
COMPUTER SCIENCE;
COMPUTER SOFTWARE;
INTERACTIVE COMPUTER SYSTEMS;
THEOREM PROVING;
BLACK BOX TESTING;
INTERACTIVE TESTING;
SYMBOLIC TEST CASE GENERATIONS;
WHITE BOX TESTING;
DESIGN FOR TESTABILITY;
|
EID: 33746667191
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/11759744_7 Document Type: Conference Paper |
Times cited : (13)
|
References (13)
|