@inproceedings{c0b99b6d1a9f4a4cb75175003efa7ed6,
title = "Echidna-parade: A tool for diverse multicore smart contract fuzzing",
abstract = "Echidna is a widely used fuzzer for Ethereum Virtual Machine (EVM) compatible blockchain smart contracts that generates transaction sequences of calls to smart contracts. While Echidna is an essentially single-threaded tool, it is possible for multiple Echidna processes to communicate by use of a shared transaction sequence corpus. Echidna provides a very large variety of configuration options, since each smart contract may be best-tested by a non-default configuration, and different faults or coverage targets within a single contract may also have differing ideal configurations. This paper presents echidna-parade, a tool that provides pushbutton multicore fuzzing using Echidna as an underlying fuzzing engine, and automatically provides sophisticated diversification of configurations. Even without using multiple cores, echidna-parade can improve the effectiveness of fuzzing with Echidna, due to the advantages provided by multiple types of test configuration diversity. Using echidna-parade with multiple cores can produce significantly better results than Echidna, in less time.",
keywords = "Fuzzing, Smart contracts, Swarm testing, Test diversity, Test length",
author = "Alex Groce and Gustavo Grieco",
note = "Publisher Copyright: {\textcopyright} 2021 ACM.; 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2021 ; Conference date: 11-07-2021 Through 17-07-2021",
year = "2021",
month = jul,
day = "11",
doi = "10.1145/3460319.3469076",
language = "English (US)",
series = "ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis",
publisher = "Association for Computing Machinery, Inc",
pages = "658--661",
editor = "Cristian Cadar and Xiangyu Zhang",
booktitle = "ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis",
}