Program Transformation Based on Symbolic Execution and Deduction.

Ran Ji Reiner Hähnle Richard Bubel

Published in: SEFM (2013)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
test cases
software systems
open source
simulated annealing algorithm
data sets
case study
fitness function
regular expressions