Information flow model of fault detection

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

Volumn , Issue , 1993, Pages 182-192

  Thompson, Margaret C ^a   Richardson, Debra J ^a   Clarke, Lori A ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING; COMPUTER SIMULATION; COMPUTER SOFTWARE; ERROR DETECTION; SOFTWARE ENGINEERING; TESTING;

CONCURRENT TRANSFER; CONTROL DEPENDENCE TRANSFER; CRITICAL SYSTEMS SOFTWARE; DATA DEPENDENCE TRANSFER; FAULT DETECTION; INFORMATION FLOW MODEL; PROGRAM FAILURE; RELAY MODEL; SOFTWARE TESTING; STATE POTENTIAL FAILURES;

COMPUTER SELECTION AND EVALUATION;

EID: 0027881324     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/174146.154270     Document Type: Conference Paper

References (0)