Login / Signup
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract.
William Zhang
Sebastian Banescu
Leonardo Pasos
Steven T. Stewart
Vijay Ganesh
Published in:
CoRR (2019)
Keyphrases
</>
static analysis
databases
data mining
knowledge base
image analysis
dynamic analysis
neural network
artificial intelligence
image processing
data analysis
lightweight
power system