Termination analysis for evolving programs: an incremental approach by reusing certified modules. - Fei He 001; Jitao Han (Proc. ACM Program. Lang., 2020)

Incremental Context-free Grammar Inference in Black Box Settings. - Feifei Li; Xiao Chen 002; Xi Xiao; Xiaoyu Sun 002; Chuan Chen; Shaohua Wang 002; Jitao Han (ASE, 2024)

Your Fix Is My Exploit: Enabling Comprehensive DL Library API Fuzzing with Large Language Models. - Kunpeng Zhang; Shuai Wang; Jitao Han; Xiaogang Zhu; Xian Li; Shaohua Wang; Sheng Wen (ICSE, 2025)