Login / Signup

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

William ZhangSebastian BanescuLeonardo PasosSteven T. StewartVijay Ganesh
Published in: ISSRE (2019)
Keyphrases
  • genetic algorithm
  • machine learning
  • high level
  • data analysis
  • statistical analysis
  • real world
  • information systems
  • multi agent
  • web scale