Under-Constrained Symbolic Execution: Correctness Checking for Real Code.

David A. Ramos Dawson R. Engler

Published in: USENIX Annual Technical Conference (2016)

Keyphrases

symbolic execution
static analysis
source code
test generation
test data generation
specification language
real world
data flow
optimization algorithm
database
database systems
relational databases