A Generic Framework for Symbolic Execution.

Andrei Arusoaie Dorel Lucanu Vlad Rusu

Published in: SLE (2013)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
specification language
source code
data flow
image quality
test cases
quality control
software projects
data sets
simulated annealing
general purpose
training data
high level
artificial intelligence
neural network