Diagnostic Test Generation for Arbitrary Faults.
Naresh K. BhattiRonald D. BlantonPublished in: ITC (2006)
Keyphrases
- test generation
- test cases
- mutation testing
- symbolic execution
- test sequences
- model based diagnosis
- design automation
- software testing
- quality assurance
- static analysis
- fault isolation
- regression testing
- fault detection
- fault diagnosis
- test suite
- test data generation
- cooperative
- diagnostic tests
- code coverage
- artificial intelligence
- error detection
- high quality
- computer vision