A fuzzer and a symbolic executor walk into a cloud

Finding bugs in programs is hard. Automating the process is even harder. We tackled the harder problem and produced two production-quality bug-finding systems: GRR, a high-throughput fuzzer, and PySymEmu (PSE), a binary symbolic executor with support for concrete inputs. From afar, fuzzing is a dumb, brute-force method that works surprisingly well, and symbolic execution is…

Fuzzing and Symbolic Execution - ppt download

PDF) Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution

A systematic review of fuzzing

PDF] HFuzz: Towards automatic fuzzing testing of NB-IoT core network protocols implementations

Ferret: Automatically Finding RFC Compliance Bugs in DNS Nameservers

Google open sources ClusterFuzz, the continuous fuzzing infrastructure behind OSS-Fuzz : r/programming

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts

Electronics, Free Full-Text

Fuzzing projects with american fuzzy lop (AFL)