Iterative Test Generation for Gate-Exhaustive Faults to Cover the Sites of Undetectable Target Faults.
Irith PomeranzPublished in: ITC (2019)
Keyphrases
- test generation
- test cases
- mutation testing
- fault diagnosis
- fault detection
- test sequences
- website
- model based diagnosis
- design automation
- data sets
- object oriented
- software testing
- data management
- fault model
- symbolic execution
- databases
- high quality
- static analysis
- artificial intelligence
- neural network
- code coverage