> For the complete documentation index, see [llms.txt](https://docs.coveragelabs.io/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.coveragelabs.io/services/fuzzing-campaign.md).

# Fuzzing Campaign

- [Invariant Development](https://docs.coveragelabs.io/services/fuzzing-campaign/invariant-development.md): The foundation of an effective fuzzing campaign lies in precisely defining the invariants—the unshakable truths of your protocol.
- [Implementation](https://docs.coveragelabs.io/services/fuzzing-campaign/implementation.md): During this phase we implement a stateful fuzzing test suite with Echidna, translating system properties into enforceable rules to verify correct code behavior.
- [Tests & Integration](https://docs.coveragelabs.io/services/fuzzing-campaign/tests-and-integration.md): We run a 48-hour fuzzing campaign to extensively test all protocol invariants. The test suite is then integrated into your CI/CD, triggering short fuzzing campaigns on every commit.
- [Fix Review](https://docs.coveragelabs.io/services/fuzzing-campaign/fix-review.md): During this phase, the mitigations implemented for previously identified vulnerabilities are reviewed. The goal is to verify that the fixes are correctly applied and do not introduce new issues.
- [Final Report](https://docs.coveragelabs.io/services/fuzzing-campaign/final-report.md): During this phase, we generate a report that summarizes all findings, invariants, runs and recommendations, marking the end of the engagement