"Manticore: A User-Friendly Symbolic Execution Framework for Binaries and ..."

Mark Mossberg et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics