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

Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce

Browse the full ISSTA paper archive.