Echidna: effective, usable, and fast fuzzing for smart contracts. - Gustavo Grieco; Will Song; Artur Cygan; Josselin Feist; Alex Groce (ISSTA, 2020)