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