Keyphrases
- test generation
- test cases
- symbolic execution
- design automation
- three dimensional
- static analysis
- test sequences
- code coverage
- quality assurance
- software testing
- mutation testing
- high quality
- regression testing
- database
- machine vision
- database systems
- test data generation
- decision trees
- decision making
- feature selection
- machine learning