Loop-extended symbolic execution on binary programs.

Prateek Saxena Pongsin Poosankam Stephen McCamant Dawn Song

Published in: ISSTA (2009)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
databases
neural network
case study
database systems
open source
quality assurance