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…

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

Recon2022 - Reverse engineering of black box binaries with symbolic and concolic execution technique

Finding BIOS Vulnerabilities with Symbolic Execution and Virtual

AFLGo: Directed Greybox Fuzzing

Fuzzing and Symbolic Execution - ppt download

Fuzzing and Symbolic Execution - ppt download

Electronics, Free Full-Text

FUZZING HARD-TO-COVER CODE

A systematic review of fuzzing

A fuzzer and a symbolic executor walk into a cloud

Applied Sciences, Free Full-Text

DeepFuzzer: Accelerated Deep Greybox Fuzzing

Fuzzing: Hack, Art, and Science, February 2020