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/docs/afl-based-fuzzers-overview.md at master · google/fuzzing · GitHub

Ferret: Automatically Finding RFC Compliance Bugs in DNS Nameservers

DeepFuzzer: Accelerated Deep Greybox Fuzzing

Fuzzing and Symbolic Execution - ppt download

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

Mathematics, Free Full-Text

Enhancing Symbolic Execution with Veritesting, June 2016

A fuzzer and a symbolic executor walk into a cloud

A Systematic Review of Search Strategies in Dynamic Symbolic Execution - ScienceDirect

Fuzzing and Symbolic Execution - ppt download

How We Fared in the Cyber Grand Challenge

What is AI fuzzing? And why it may be the next big cybersecurity threat

Fuzzing: Hack, Art, and Science, February 2020