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…

Let's build a high-performance fuzzer with GPUs!

Fuzzing projects with american fuzzy lop (AFL)

Why symbolic execution is the leading-edge method for generating test values - DEV Community

PDF] Learning to Fuzz from Symbolic Execution with Application to Smart Contracts

Fuzzing: Hack, Art, and Science, February 2020

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

Mathematics, Free Full-Text

Awesome-Fuzzing/README.md at master · secfigo/Awesome-Fuzzing · GitHub

Electronics, Free Full-Text

Applied Sciences, Free Full-Text

A Layer 2 Standards Working Group · Devcon Archive: Ethereum Developer Conference

Let's build a high-performance fuzzer with GPUs!

A fuzzer and a symbolic executor walk into a cloud