Model-Based Test Generation Using Evolutional Symbolic Grammar.
Hai-Feng GuoMahadevan SubramaniamPublished in: TASE (2012)
Keyphrases
- test generation
- test cases
- symbolic execution
- design automation
- test sequences
- static analysis
- software testing
- quality assurance
- mutation testing
- natural language
- code coverage
- high level
- context free grammars
- data sets
- test data generation
- symbolic representation
- quality control
- programming language
- computer vision