Dynamic partitioning strategy to enhance symbolic execution.

Brendan A. Marcellino Michael S. Hsiao

Published in: DATE (2016)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
databases
real world
search strategy