A General Lattice Model for Merging Symbolic Execution Branches

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