Hypothesis — Peer-reviewed • Rank 32.1 • Science 100%

Hypothesis: A new approach to property-based testing - Published in JOSS (2019)

schemathesis • Rank 25.6 • Science 54%

Catch API bugs before your users do

pysecsan • Rank 19.3 • Science 54%

OSS-Fuzz - continuous fuzzing for open source software.

graphqler • Rank 6.4 • Science 64%

🔍A cutting edge context aware GraphQL API fuzzing tool!

microsoft.coyote • Rank 24.9 • Science 44%

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

fuzzingbook • Rank 10.8 • Science 54%

Project page for "The Fuzzing Book"

oss-fuzz-gen • Rank 10.6 • Science 54%

LLM powered fuzzing via OSS-Fuzz.

EvoMaster — Peer-reviewed • Rank 13.2 • Science 46%

EvoMaster: A Search-Based System Test Generation Tool - Published in JOSS (2021)

aflplusplus • Rank 14.5 • Science 36%

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

netzob • Rank 15.2 • Science 23%

Netzob: Protocol Reverse Engineering, Modeling and Fuzzing

https://github.com/crytic/optik • Rank 6.7 • Science 13%

Optik is a set of symbolic execution tools that assist smart-contract fuzzers

lua-c-api-tests • Science 44%

Fuzzing Lua runtimes without pain

https://github.com/byt3n33dl3/httpx • Science 26%

Sharp Karambit for Web Domain Crucifixion and Account Takeover.

evocatio • Science 65%

autotest • Science 26%

Automatic testing of R packages

spirvsmith • Science 54%

A differential testing tool targeting SPIRV based on structured fuzzing techniques

https://github.com/cedrickchee/testing-distributed-systems • Science 23%

Curated list of resources on testing distributed systems

tsffs • Science 44%

A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS