A General Lattice Model for Merging Symbolic Execution Branches

Dominic Scheurer, Reiner Hähnle, Richard Bubel

January 2016

Type

Conference paper

Publication

Proc. 18th Intern. Conf. on Formal Engineering Methods (ICFEM)