DyTa: dynamic symbolic execution guided with static verification results.

Xi Ge Kunal Taneja Tao Xie Nikolai Tillmann

Published in: ICSE (2011)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
source code
databases
data flow
specification language
neural network
model checking
domain independent
database
artificial intelligence
optimization algorithm
formal specification