Optimizing program disturb fault tests using defect-based testing.
Mohammad Gh. MohammadKewal K. SalujaPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2005)
Keyphrases
- test cases
- test suite
- test generation
- symbolic execution
- regression testing
- fault diagnosis
- software testing
- set of test cases
- search based software testing
- test data
- fault model
- static analysis
- fault detection
- code coverage
- computer programs
- statistical tests
- fault localization
- testing process
- fault injection
- multiple choice
- concurrent programs
- dynamic analysis
- test data generation
- neural network
- real world