Model-based test generation using extended symbolic grammars.

Hai-Feng Guo Mahadevan Subramaniam

Published in: Int. J. Softw. Tools Technol. Transf. (2014)

Keyphrases

test generation
test cases
design automation
static analysis
test sequences
symbolic execution
quality assurance
grammatical inference
software testing
mutation testing
data sets
high level
open source
symbolic representation