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 their users to find in-depth vulnerabilities.
Both tools are open-source and are frequently used by security researchers.