Demand-Driven Compositional Symbolic Execution.

Saswat Anand Patrice Godefroid Nikolai Tillmann

Published in: TACAS (2008)

Keyphrases

demand driven
symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
simulated annealing algorithm
database
cloud computing
load balance
web services
object oriented
test cases