The ACM Computing Classification System (1991) B.6.2 Reliability and Testing Built-in tests Error-checking Redundant design Test generation Testability