Keyphrases
- test generation
- test cases
- mutation testing
- black box
- test sequences
- symbolic execution
- design automation
- fluid model
- software testing
- test data generation
- quality assurance
- static analysis
- regression testing
- test suite
- image processing
- test set
- model checking
- model based diagnosis
- fault diagnosis
- object oriented
- fault detection
- field effect transistors
- real world
- machine vision
- query processing
- information systems
- learning algorithm