Keyphrases
- test generation
- test cases
- mutation testing
- test sequences
- symbolic execution
- design automation
- software testing
- fault diagnosis
- physical design
- code coverage
- fault detection
- shortest path
- object oriented
- destination node
- embedded systems
- static analysis
- quality assurance
- test data generation
- model based diagnosis
- parallel computing
- case study
- open source
- multi agent