Compositional dynamic test generation.

Patrice Godefroid

Published in: POPL (2007)

Keyphrases

test generation
test cases
dynamic environments
design automation
mutation testing
image processing
data management
static analysis
symbolic execution
code coverage