Xu He, Shu Wang, Kun Sun: PathFix: Automated Program Repair with Expected Path. SecDev 2025: 69-81