Using models for test generation and analysis

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 1, Issue , 1998, Pages

  Blackburn, Mark R ^a  

^a Systems and Software Consortium   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE MAINTENANCE; COST EFFECTIVENESS; FORMAL LANGUAGES; PRODUCT DEVELOPMENT;

MODEL-BASED ANALYSIS; SOFTWARE TESTING; TEST VECTOR GENERATION;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (21)