Leonardo Pasos

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Dynamic Analysis

Top Venues

Publications

William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. CoRR (2019)
William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. ISSRE (2019)