Search dblp for Publications

export results for "Harvey: A Greybox Fuzzer for Smart Contracts"

 download as .bib file

@inproceedings{DBLP:conf/sigsoft/WustholzC20,
  author       = {Valentin W{\"{u}}stholz and
                  Maria Christakis},
  editor       = {Prem Devanbu and
                  Myra B. Cohen and
                  Thomas Zimmermann},
  title        = {Harvey: a greybox fuzzer for smart contracts},
  booktitle    = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
                  and Symposium on the Foundations of Software Engineering, Virtual
                  Event, USA, November 8-13, 2020},
  pages        = {1398--1409},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3368089.3417064},
  doi          = {10.1145/3368089.3417064},
  timestamp    = {Tue, 10 Nov 2020 10:30:27 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/WustholzC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-06944,
  author       = {Valentin W{\"{u}}stholz and
                  Maria Christakis},
  title        = {Harvey: {A} Greybox Fuzzer for Smart Contracts},
  journal      = {CoRR},
  volume       = {abs/1905.06944},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.06944},
  eprinttype    = {arXiv},
  eprint       = {1905.06944},
  timestamp    = {Tue, 28 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-06944.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics