MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract[C] 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE) 2019 Zhang, William Ganesh, Vijay Banescu, Sebastian Pasos, Leodardo Stewart, Steven
