Symbolic Execution.

Cristian Cadar Koushik Sen

Published in: RV (2012)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
programming language
test cases
feature space
open source
description language
case study
database systems
pattern matching
simulated annealing algorithm