From Alarms to Real Bugs: Multi-target Multi-step Directed Greybox Fuzzing for Static Analysis Result Verification. - Andrew Bao; Wenjia Zhao; Yanhao Wang; Yueqiang Cheng; Stephen McCamant; Pen-Chung Yew (USENIX Security Symposium, 2025)