REDQUEEN: Fuzzing with Input-to-State Correspondence.

Cornelius Aschermann, Sergej Schumilo, Tim Blazytko, Robert Gawlik, Thorsten Holz

Browse the full NDSS paper archive.