Deconstructing dynamic symbolic execution

Thomas Ball, Jakub Daniel
[Google Scholar] [DBLP] [Citeseer] [url]

Report
The 2014 Marktober Summer School on Deop
IOS Press
January 2015
Note(s): symbolic execution