Speculative Symbolic Execution.

Yufeng Zhang Zhenbang Chen Ji Wang

Published in: ISSRE (2012)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
specification language
data flow
test cases
neural network
open source
database
simulated annealing algorithm
xml documents
real world
genetic algorithm ga
programming language
quality assurance
high level
artificial intelligence