Title :
Linking Software Failure Behavior To Specification
Author :
Sheldon, Frederick T. ; Kavi, Krishna M.
Author_Institution :
The University of Texas at Arlington
Keywords :
Computer science; Costs; Error correction; Fault detection; Fault tolerance; Fault tolerant systems; Hazards; Joining processes; Logic testing; Software systems;
Conference_Titel :
Integrating Error Models with Fault Injection, 1994., Third Int'l Workshop on
DOI :
10.1109/WIEM.1994.654403
