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

David A. Ramos Dawson R. Engler

Published in: USENIX Security Symposium (2015)

Keyphrases

symbolic execution
source code
static analysis
test generation
specification language
test data generation
real world
database
data flow
training data
formal specification