The ACM Computing Classification System (1998) B.1.3 Control Structure Reliability, Testing, and Fault-Tolerance [**] Diagnostics [**] Error-checking [**] Redundant design [**] Test generation [**]