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