SMT-Constrained Symbolic Execution for Eclipse CDT/Codan.

Published in: SEFM Workshops (2013)

Keyphrases

symbolic execution
source code
static analysis
open source
test data generation
test generation
specification language
software systems
delaunay triangulation
software projects
data flow
neural network
statistical machine translation
database
high level
genetic programming