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