TY  - RPRT
TI  - MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract
AU  - William Zhang
AU  - Sebastian Banescu
AU  - Leonardo Passos
AU  - Steven Stewart
AU  - Vijay Ganesh
PY  - 2020
DO  - 10.1109/issre.2019.00052
UR  - https://arxiv.org/abs/1911.00570
ID  - 1911.00570
ER  -