Combined static and dynamic automated test generation.

Sai Zhang David Saff Yingyi Bu Michael D. Ernst

Published in: ISSTA (2011)

Keyphrases

test generation
test sequences
test cases
symbolic execution
design automation
static analysis
mutation testing
software testing
quality assurance
machine learning
data sets
computer aided
high level
computer vision
regression testing
databases
code coverage