From Trees to DAGs: A General Lattice Model for Symbolic Execution

Dominic Scheurer
January, 2015
PDF Cite
Type
Thesis