Test Generation for Timing-Critical Transition Faults.
Xijiang LinMark KassabJanusz RajskiPublished in: ATS (2007)
Keyphrases
- test generation
- test cases
- mutation testing
- test sequences
- symbolic execution
- design automation
- software testing
- static analysis
- test data generation
- regression testing
- quality assurance
- test suite
- fault diagnosis
- object oriented
- high quality
- real world
- query evaluation
- complex systems
- pattern matching
- cooperative
- e learning
- code coverage
- machine learning