| Title: |
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts |
| Authors: |
Mossberg, Mark; Manzano, Felipe; Hennenfent, Eric; Groce, Alex; Grieco, Gustavo; Feist, Josselin; Brunson, Trent; Dinaburg, Artem |
| Source: |
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2019 34th IEEE/ACM International Conference on. :1186-1189 Nov, 2019 |
| Relation: |
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) |
| Database: |
IEEE Xplore Digital Library |