ROSA: Finding Backdoors with Fuzzing. - Dimitri Kokkonis; Michaël Marcozzi; Emilien Decoux; Stefano Zacchiroli (ICSE, 2025)