Echidna: effective, usable, and fast fuzzing for smart contracts

Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce. Echidna: effective, usable, and fast fuzzing for smart contracts. In Sarfraz Khurshid, Corina S. Pasareanu, editors, ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020. pages 557-560, ACM, 2020. [doi]

Abstract

Abstract is missing.