MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract.

William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh

Browse the full ISSRE paper archive.