Harvey: a greybox fuzzer for smart contracts

Full text DOI 10.1145/3368089.3417064 dblp

Abstract

We present Harvey, an industrial greybox fuzzer for smart contracts, which are programs managing accounts on a blockchain.

BibTeX

@inproceedings{Wuestholz-Christakis:FSE20,
  author    = {Valentin W{\"{u}}stholz and
               Maria Christakis},
  title     = {Harvey: a greybox fuzzer for smart contracts},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {1398--1409},
  publisher = {{ACM}},
  year      = {2020},
}

Harvey: a greybox fuzzer for smart contracts

Abstract

Related papers