USENIX Security ’22 – Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury – ‘Stateful Greybox Fuzzing’