Harvey: A Greybox Fuzzer for Smart Contracts.

Valentin Wüstholz Maria Christakis

Published in: CoRR (2019)

Keyphrases

supply chain
case study
main conclusions
smart environments
real time
artificial intelligence
image processing
evolutionary algorithm
moral hazard
enabling technologies