A General Lattice Model for Merging Symbolic Execution Branches.

Dominic Scheurer, Reiner Hhnle, Richard Bubel

Browse the full ICFEM paper archive.