Coverage-Directed Test Generation Using Symbolic Techniques.

Daniel Geist Monica Farkas Avner Landver Yossi Lichtenstein Shmuel Ur Yaron Wolfsthal

Published in: FMCAD (1996)

Keyphrases

test generation
code coverage
test cases
test suite
software testing
symbolic execution
design automation
test sequences
static analysis
mutation testing
quality assurance
symbolic representation
cooperative
regression testing
decision trees
software systems
test set
high quality
high level
real world