MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. - William Zhang; Sebastian Banescu; Leonardo Pasos; Steven T. Stewart; Vijay Ganesh 001 (ISSRE, 2019)