Peihong Lin, Pengfei Wang, Xu Zhou, Wei Xie, Xin Ren, Kai Lu: When Control Flows Deviate: Directed Grey-box Fuzzing with Probabilistic Reachability Analysis. ASE 2025: 713-725