Paper Notes: REDQUEEN — Fuzzing with Input-to-State Correspondence
00 — About Authors: Cornelius Aschermann, Sergej Schumilo, Tim Blazytko, Robert Gawlik, and Thorsten Holz. 01 — Why Fuzz-based automated software testing has resurged in recent years. Feedback-driven fuzzing, in particular, efficiently performs randomized testing from a small input corpus…