|
Volumn , Issue , 1989, Pages 210-218
|
Automatic generation of test scripts from formal test specifications
a a a |
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTER PROGRAMMING LANGUAGES;
FORMAL TEST SPECIFICATIONS;
TEST SPECIFICATION LANGUAGE;
TSL LANGUAGE;
COMPUTER SOFTWARE;
|
EID: 0024918604
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/75309.75332 Document Type: Conference Paper |
Times cited : (81)
|
References (13)
|