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