Keyphrases
- test generation
- test cases
- software testing
- static analysis
- quality assurance
- test data generation
- test sequences
- symbolic execution
- software development
- design automation
- mutation testing
- regression testing
- databases
- software systems
- information systems
- test suite
- case study
- test set
- video sequences
- database systems
- learning algorithm
- data sets