TY  - RPRT
TI  - Harvey: A Greybox Fuzzer for Smart Contracts
AU  - Valentin Wüstholz
AU  - Maria Christakis
PY  - 2019
UR  - https://arxiv.org/abs/1905.06944
ID  - 1905.06944
ER  -