Login / Signup
EvoSE: evolutionary symbolic execution.
Mauro Baluda
Published in:
A-TEST@SIGSOFT FSE (2015)
Keyphrases
</>
symbolic execution
static analysis
test generation
source code
test data generation
specification language
data flow
genetic algorithm
simulated annealing algorithm
search algorithm
description language
generation algorithm