Symbolic Execution Enhanced System Testing.

Misty Davies Corina S. Pasareanu Vishwanath Raman

Published in: VSTTE (2012)

Keyphrases

evolutionary algorithm
symbolic execution
test generation
test data generation
static analysis
source code
specification language
test cases
data flow
software testing
database systems
simulated annealing algorithm
artificial intelligence
genetic algorithm
real world
neural network
open source