Statically-directed dynamic automated test generation.

Domagoj Babic Lorenzo Martignoni Stephen McCamant Dawn Song

Published in: ISSTA (2011)

Keyphrases

test generation
test cases
test sequences
dynamic environments
quality assurance
symbolic execution
error rate
computer aided
static analysis
feature selection
database systems
design automation