Directed fuzzing based on path constraints and deviation path correction. - Hongsheng Zuo; Yong Fang 002; Peng Jia 005; Ximing Fan; Xi Peng; Yijia Xu; Rui Pan (Inf. Softw. Technol., 2025)