Leodardo Pasos

MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract

Steven Stewart, Sebastian Banescu, Vijay Ganesh, 2019, 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).