Directed test generation using symbolic grammars.
Rupak MajumdarRu-Gang XuPublished in: ESEC/SIGSOFT FSE (2007)
Keyphrases
- test generation
- test cases
- symbolic execution
- test sequences
- static analysis
- design automation
- quality assurance
- symbolic representation
- context free grammars
- software testing
- mutation testing
- natural language
- grammatical inference
- training data
- artificial intelligence
- machine learning
- error rate
- high level
- regression testing
- data sets
- database