Exploiting program dependencies for scalable multiple-path symbolic execution.

Raúl A. Santelices Mary Jean Harrold

Published in: ISSTA (2010)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
object oriented
test cases
databases
artificial intelligence
high level
database systems
model checking