Login / Signup
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