Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan.

Published in: ICTSS (2013)

Keyphrases

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