Sign in

Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools.

Alexander LeidBrink van der MerweWillem Visser
Published in: SAICSIT (2020)
Keyphrases
  • statistical analysis
  • analysis tool
  • high level
  • databases
  • search engine
  • website
  • database systems
  • data analysis
  • supply chain
  • decision support
  • context aware
  • test set