Zao Yang, Stefan Nagy: Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers. USENIX ATC 2025: 1161-1179