MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract | IEEE Conference Publication | IEEE Xplore