Harvey: a greybox fuzzer for smart contracts.

Valentin Wüstholz Maria Christakis

Published in: ESEC/SIGSOFT FSE (2020)

Keyphrases

supply chain
main conclusions
smart environments
decision making
website
decision trees
three dimensional
multi view
smart cities