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

Alexander Leid Brink van der Merwe Willem 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