|
Volumn 3472 LNCS, Issue , 2005, Pages 391-438
|
Tools for test case generation
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTER AIDED SOFTWARE ENGINEERING;
CONSTRAINT THEORY;
FINITE AUTOMATA;
MATHEMATICAL MODELS;
REAL TIME SYSTEMS;
UNIFIED MODELING LANGUAGE;
AUTOMATIC MODEL-BASED GENERATION;
SYMBOLIC DATA;
SYSTEM VENDORS;
TEST SUITES;
SOFTWARE TESTING;
|
EID: 36849031829
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/11498490_18 Document Type: Conference Paper |
Times cited : (33)
|
References (0)
|