Improving the Cooperation of Fuzzing and Symbolic Execution by Test-cases Prioritizing. - Jiaxi Ye; Bin Zhang; Ziqing Ye; Chao Feng 002; Chaojing Tang (CIS, 2017)

S2F: Discover Hard-to-Reach Vulnerabilities by Semi-Symbolic Fuzz Testing. - Bin Zhang; Jiaxi Ye; Chao Feng 002; Chaojing Tang (CIS, 2017)

Program State Sensitive Parallel Fuzzing for Real World Software. - Jiaxi Ye; Bin Zhang; Ruilin Li 002; Chao Feng 002; Chaojing Tang (IEEE Access, 2019)

Pusher: an augmented fuzzer based on the connection between input and comparison operand. - Bin Zhang; Jiaxi Ye; Ruilin Li 002; Chao Feng 002; Yunfei Su; Chaojing Tang (Frontiers Comput. Sci., 2022)