A
Menu
November 01, 2019 conference-paper Open access

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI: 10.1109/ase.2019.00133 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 391

1 result

References 0