Login / Signup
Differential program analysis with fuzzing and symbolic execution.
Yannic Noller
Published in:
ASE (2018)
Keyphrases
</>
symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
test cases
data sets
simulated annealing algorithm
artificial intelligence
decision trees
evolutionary algorithm
multi objective
image quality