A General Lattice Model for Merging Symbolic Execution Branches

Dominic Scheurer, Reiner Hähnle, Richard Bubel
January, 2016
PDF Cite DOI
Type
Conference paper
Publication
Proc. 18th Intern. Conf. on Formal Engineering Methods (ICFEM)