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.