echidna-parade: a tool for diverse multicore smart contract fuzzing.

Alex Groce, Gustavo Grieco

Browse the full ISSTA paper archive.