TRACER: A Symbolic Execution Tool for Verification.

Joxan Jaffar Vijayaraghavan Murali Jorge A. Navas Andrew E. Santosa

Published in: CAV (2012)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
specification language
source code
data flow
database
decision trees
test cases
simulated annealing algorithm
neural network
case study
search space
multi objective
object oriented