Title: Fault classes and error detection in specification based testing
Subjects: Computer software, Debugging in computer science, Testing