Keyphrases
- test generation
- symbolic execution
- test cases
- test sequences
- design automation
- static analysis
- quality assurance
- mutation testing
- software testing
- test data generation
- information systems
- databases
- data sets
- image data
- object oriented
- training data
- case study
- computer vision
- artificial intelligence
- machine learning
- code coverage