Empirical evaluation of the MC/DC coverage criterion on the HETE-2 satellite software

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 1, Issue , 2000, Pages

  Dupuy, Arnaud ^a   Leveson, Nancy ^a  

^a NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER DEBUGGING; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR ANALYSIS; SATELLITE COMMUNICATION SYSTEMS; SOFTWARE ENGINEERING;

SATELLITE SOFTWARES; SOURCE CODE COVERAGE CRITERIONS;

AVIONICS;

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

References (8)