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