Comparing Verification Condition Generation with Symbolic Execution: An Experience Report.

Ioannis T. Kassios Peter Müller Malte Schwerhoff

Published in: VSTTE (2012)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
source code
specification language
data flow
generation algorithm
fitness function
simulated annealing algorithm
neural network
genetic algorithm
case study
distributed systems