Test template framework: a specification-based testing case study

Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA)

Volumn , Issue , 1993, Pages 11-18

  Stocks, Phil ^a   Carrington, David ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER APPLICATIONS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; DATA STRUCTURES; FORMAL LANGUAGES; HEURISTIC PROGRAMMING; MAINTENANCE; PLANNING; REGRESSION ANALYSIS; ROBUSTNESS (CONTROL SYSTEMS); STATISTICAL TESTS; TESTING;

FUNCTIONAL TESTING; REGRESSION TESTING; ROBUSTNESS TESTING; SPECIFICATION BASED TESTING; SYMBOL TABLE CASE STUDY; TEST DERIVATION; TEST ORACLES; TEST STRUCTURING; TEST TEMPLATE FRAMEWORK; Z NOTATION;

SOFTWARE ENGINEERING;

EID: 0027811232     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)