Symbolic Execution for Verification.

Joxan Jaffar Jorge A. Navas Andrew E. Santosa

Published in: CoRR (2011)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
source code
data flow
test cases
databases
software testing
simulated annealing algorithm
state space
particle swarm optimization
quality control