Keyphrases
- test generation
- higher order
- test cases
- test sequences
- high order
- symbolic execution
- design automation
- quality assurance
- static analysis
- mutation testing
- pairwise
- markov random field
- software testing
- machine learning
- test data generation
- query processing
- software quality
- video sequences
- high level
- metadata
- artificial intelligence
- database