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