Echidna and its rewritten version, Medusa (https://github.com/crytic/medusa), are the de-facto smart contracts fuzzers. They provide parallelized property-based testing of smart contracts, allowing t...