Chapter 9 - Coverage-Guided Fuzzing for Validation and Symbolic Execution 1 Decompiler Construction: Chapter 9 - Coverage-Guided Fuzzing for Validation and Symbolic Execution May 27, 2026