Login / Signup
Dynamic Symbolic Execution of Higher-Order Functions.
Shu-Hung You
Robert Bruce Findler
Christos Dimoulas
Published in:
CoRR (2020)
Keyphrases
</>
higher order
symbolic execution
genetic algorithm
test data generation
test generation
data sets
static analysis