Methods for binary symbolic execution Anthony Romano [Google Scholar] [DBLP] [Citeseer] Ph.D. thesis Stanford University 2014 Note(s): symbolic execution, KLEE verifier