Login / Signup
Dominic Scheurer
ORCID
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Genetic Programming
Symbolic Execution
Open Source
Top Venues
ICFEM
</>
Publications
</>
Dominic Scheurer
,
Reiner Hähnle
,
Richard Bubel
A General Lattice Model for Merging Symbolic Execution Branches.
ICFEM
(2016)