Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts[C] 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019) 2019 Mossberg, Mark Manzano, Felipe Hennenfent, Eric Groce, Alex Grieco, Gustavo Feist, Josselin Brunson, Trent Dinaburg, Artem
