ICS Protocol Fuzzing: Coverage Guided Packet Crack and Generation. - Zhengxiong Luo 002; Feilong Zuo; Yuheng Shen; Xun Jiao 002; Wanli Chang 001; Yu Jiang 001 (DAC, 2020)

HEALER: Relation Learning Guided Kernel Fuzzing. - Hao Sun 021; Yuheng Shen; Cong Wang 020; Jianzhong Liu; Yu Jiang 001; Ting Chen 002; Aiguo Cui (SOSP, 2021)

Theoretical Studies and Implementation on the Temporary Data Storage Method for Cone Penetration Test. - Yanming Li; Yuheng Shen; Xiaoquan Wang; Sifeng Li; Tonglu Li; Quanli Zhao (Sensors, 2021)

Rtkaller: State-aware Task Generation for RTOS Fuzzing. - Yuheng Shen; Hao Sun 021; Yu Jiang 001; Heyuan Shi; Yixiao Yang; Wanli Chang 001 (ACM Trans. Embed. Comput. Syst., 2021)

Industry practice of configuration auto-tuning for cloud applications and services. - Runzhe Wang; Qinglong Wang; Yuxi Hu; Heyuan Shi; Yuheng Shen; Yu Zhan; Ying Fu; Zheng Liu; Xiaohai Shi; Yu Jiang 001 (ESEC/SIGSOFT FSE, 2022)

KSG: Augmenting Kernel Fuzzing with System Call Specification Generation. - Hao Sun 021; Yuheng Shen; Jianzhong Liu; Yiru Xu; Yu Jiang 001 (USENIX ATC, 2022)

Tardis: Coverage-Guided Embedded Operating System Fuzzing. - Yuheng Shen; Yiru Xu; Hao Sun 021; Jianzhong Liu; Zichen Xu 001; Aiguo Cui; Heyuan Shi; Yu Jiang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Brief Industry Paper: Directed Kernel Fuzz Testing on Real-time Linux. - Yuheng Shen; Shijun Chen; Jianzhong Liu; Yiru Xu; Qiang Zhang; Runzhe Wang; Heyuan Shi; Yu Jiang 001 (RTSS, 2023)

Leveraging Binary Coverage for Effective Generation Guidance in Kernel Fuzzing. - Jianzhong Liu; Yuheng Shen; Yiru Xu; Yu Jiang 001 (CCS, 2024)

Effectively Sanitizing Embedded Operating Systems. - Jianzhong Liu; Yuheng Shen; Yiru Xu; Hao Sun 021; Heyuan Shi; Yu Jiang 001 (DAC, 2024)

Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program. - Hao Sun 021; Yiru Xu; Jianzhong Liu; Yuheng Shen; Nan Guan; Yu Jiang 001 (EuroSys, 2024)

Enhancing ROS System Fuzzing through Callback Tracing. - Yuheng Shen; Jianzhong Liu; Yiru Xu; Hao Sun 021; Mingzhe Wang; Nan Guan; Heyuan Shi; Yu Jiang 001 (ISSTA, 2024)

Industry Practice of Directed Kernel Fuzzing for Open-source Linux Distribution. - Heyuan Shi; Shijun Chen; Runzhe Wang; Yuhan Chen; Weibo Zhang; Qiang Zhang; Yuheng Shen; Xiaohai Shi; Chao Hu; Yu Jiang 001 (ASE, 2024)

When Fuzzing Meets LLMs: Challenges and Opportunities. - Yu Jiang 001; Jie Liang 006; Fuchen Ma; Yuanliang Chen; Chijin Zhou; Yuheng Shen; Zhiyong Wu 010; Jingzhou Fu; Mingzhe Wang; Shanshan Li 001; Quan Zhang (SIGSOFT FSE Companion, 2024)

CVECenter: Industry Practice of Automated Vulnerability Management for Linux Distribution Community. - Jing Luo; Heyuan Shi; Yongchao Zhang; Runzhe Wang; Yuheng Shen; Yuao Chen; Xiaohai Shi; Rongkai Liu; Chao Hu; Yu Jiang 001 (SIGSOFT FSE Companion, 2024)

Saturn: Host-Gadget Synergistic USB Driver Fuzzing. - Yiru Xu; Hao Sun 021; Jianzhong Liu; Yuheng Shen; Yu Jiang 001 (SP, 2024)

PatchBert: Continuous Stable Patch Identification for Linux Kernel via Pre-trained Model Fine-tuning. - Rongkai Liu; Heyuan Shi; Yongchao Zhang; Runzhe Wang; Yuheng Shen; Yuao Chen; Jing Luo; Xiaohai Shi; Chao Hu; Yu Jiang 001 (SANER, 2024)

Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures. - Jianzhong Liu; Yuheng Shen; Yiru Xu; Hao Sun 021; Yu Jiang 001 (ACM Trans. Softw. Eng. Methodol., 2024)

ECG: Augmenting Embedded Operating System Fuzzing via LLM-Based Corpus Generation. - Qiang Zhang; Yuheng Shen; Jianzhong Liu; Yiru Xu; Heyuan Shi; Yu Jiang 001; Wanli Chang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

DROIDFUZZ: Proprietary Driver Fuzzing for Embedded Android Devices. - Jianzhong Liu; Yuheng Shen; Yifei Chu; Qiang Zhang; Heyuan Shi; Wanli Chang 001; Yu Jiang 001 (DAC, 2025)

SUNFLOWER: Enhancing Linux Kernel Fuzzing via Exploit-Driven Seed Generation. - Qiang Zhang; Yuheng Shen; Jianzhong Liu; Yiru Xu; Heyuan Shi; Yu Jiang 001; Wanli Chang 001 (SEIP@ICSE, 2025)

DragonRadar: Fuzzing Linux Kernel Deployed in Cloud-Native Environment. - Heyuan Shi; Weibo Zhang; Runzhe Wang; Xiaohai Shi; Guoyu Yin; Shijun Chen; Yuhan Chen; Qiang Zhang; Jianzhong Liu; Yuheng Shen (SANER, 2025)

PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel. - Rongkai Liu; Heyuan Shi; Shuning Liu; Chao Hu; Sisheng Li; Yuheng Shen; Runzhe Wang; Xiaohai Shi; Yu Jiang 001 (Proc. ACM Softw. Eng., 2025)

SnapCC: Effective File System Consistency Testing Using Systematic State Exploration. - Jianzhong Liu; Yuheng Shen; Yiru Xu; Hao Sun 021; Yu Jiang 001 (ACM Trans. Softw. Eng. Methodol., 2025)