Property-Based, Mutation & Fuzz Testing

Hypothesis

HypothesisWorks/hypothesis

Popular

Property-based testing for Python that generates and shrinks inputs to find minimal failing examples.

fast-check

dubzzz/fast-check

Trending (detected automatically)

Property-based testing framework for JavaScript/TypeScript that plugs into Vitest, Jest and others.

proptest

proptest-rs/proptest

Hypothesis-inspired property testing for Rust with strategy combinators and automatic shrinking.

jqwik

jqwik-team/jqwik

Property-based testing engine for the JUnit Platform on Java and Kotlin.

Stryker Mutator

stryker-mutator/stryker-js

Trending (detected automatically)

Mutation testing for JS/TS, C# and Scala that measures how well tests catch injected bugs.

PIT

hcoles/pitest

Fast, practical mutation testing system for Java and the JVM with Maven and Gradle plugins.

AFL++

AFLplusplus/AFLplusplus

Popular

Community-maintained successor to AFL; the go-to coverage-guided fuzzer for C/C++ binaries.

libFuzzer

llvm.org

LLVM's in-process, coverage-guided fuzzing engine that underlies cargo-fuzz and many OSS-Fuzz targets.

OSS-Fuzz

google/oss-fuzz

Google's free continuous fuzzing service for critical open-source projects, now with AI-generated fuzz targets.

Jazzer

CodeIntelligenceTesting/jazzer

Coverage-guided, in-process fuzzer for the JVM integrated with JUnit, built on libFuzzer.

cargo-fuzz

rust-fuzz/cargo-fuzz

Trending (detected automatically)

Command line helpers for fuzzing