Title: Automated defect prevention
Subjects: Automatic control, Computer programs, Correctness, Data processing, Debugging in computer science, Prevention, Software failures, Software maintenance, Testing, Computer software, testing