Greybox Fuzzing of Distributed Systems (CCS'23)

Scalable fuzzing infrastructure.

Fuzz anything with Program Environment Fuzzing

Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.

Large Language Model guided Protocol Fuzzing (NDSS'24)

Recent Fuzzing Paper

Program Vulnerability Repair via Inductive Inference

A powerful static binary rewriting tool

AFL binary instrumentation

A tool that can be used to learn state machines from implementations.

Directed Greybox Fuzzing with AFL

AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)

ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing

Time-travel Testing