Methods for binary symbolic execution

Anthony Romano
[Google Scholar] [DBLP] [Citeseer]

Ph.D. thesis
Stanford University
2014
Note(s): symbolic execution, KLEE verifier