Coverage-directed test generation through automatic constraint extraction.

Onur Guzey Li-C. Wang

Published in: HLDVT (2007)

Keyphrases

test generation
code coverage
test cases
symbolic execution
information extraction
static analysis
test sequences
quality assurance
software testing
data sets
image data
test suite
design automation
programming language
regression testing