Automated test case generation from correct and complete system requirements models

IEEE Aerospace Conference Proceedings

Volumn , Issue , 2009, Pages

  Kelley, Kenneth ^a  

^a Safeware Engineering Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TEST CASE GENERATION; COMPLETE SYSTEM; NUMBER OF ITERATIONS; REQUIREMENTS MODELS; SAVING RESOURCES; STATE MACHINE MODELS; SYSTEM REQUIREMENTS; TEST CASE; TEST CASE GENERATION; TEST GENERATION ALGORITHM; TIME-CONSUMING TASKS;

LINGUISTICS; REQUIREMENTS ENGINEERING; SPECIFICATION LANGUAGES; TESTING;

AUTOMATIC TEST PATTERN GENERATION;

EID: 70349151392     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AERO.2009.4839619     Document Type: Conference Paper

References (1)

1. Chilensky & Miller, Applicability of Modified Condition/Decision Coverage to Software Testing, Software Engineering Journal, 1994.