Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. - Mark Mossberg; Felipe Manzano; Eric Hennenfent; Alex Groce; Gustavo Grieco; Josselin Feist; Trent Brunson; Artem Dinaburg (ASE, 2019)