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