@inproceedings{6c21fa44703a4cde99bd3dcfd18279d3,
title = "Echidna: Effective, usable, and fast fuzzing for smart contracts",
abstract = "Ethereum smart contracts - -autonomous programs that run on a blockchain - -often control transactions of financial and intellectual property. Because of the critical role they play, smart contracts need complete, comprehensive, and effective test generation. This paper introduces an open-source smart contract fuzzer called Echidna that makes it easy to automatically generate tests to detect violations in assertions and custom properties. Echidna is easy to install and does not require a complex configuration or deployment of contracts to a local blockchain. It offers responsive feedback, captures many property violations, and its default settings are calibrated based on experimental data. To date, Echidna has been used in more than 10 large paid security audits, and feedback from those audits has driven the features and user experience of Echidna, both in terms of practical usability (e.g., smart contract frameworks like Truffle and Embark) and test generation strategies. Echidna aims to be good at finding real bugs in smart contracts, with minimal user effort and maximal speed.",
keywords = "fuzzing, smart contracts, test generation",
author = "Gustavo Grieco and Will Song and Artur Cygan and Josselin Feist and Alex Groce",
note = "Publisher Copyright: {\textcopyright} 2020 ACM.; 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2020 ; Conference date: 18-07-2020 Through 22-07-2020",
year = "2020",
month = jul,
day = "18",
doi = "10.1145/3395363.3404366",
language = "English (US)",
series = "ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis",
publisher = "Association for Computing Machinery, Inc",
pages = "557--560",
editor = "Sarfraz Khurshid and Pasareanu, {Corina S.}",
booktitle = "ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis",
}