Login / Signup
A General Lattice Model for Merging Symbolic Execution Branches.
Dominic Scheurer
Reiner Hähnle
Richard Bubel
Published in:
ICFEM (2016)
Keyphrases
</>
artificial intelligence
neural network
high level
symbolic execution
genetic algorithm
data sets
databases
decision trees
open source
genetic programming