姓名：赵英全

性别：男

出生年月：1994年3月

学历/学位：博士研究生/工学博士

职称：副研究员

所在院系/专业：网络安全学院

2018.09-2021.06   天津大学  硕士

2021.09-2025.06   天津大学  博士

软件测试、软件分析

研究方向聚焦于智能化基础软件测试、软件安全与可信保障、大模型驱动的软件工程，主要面向编译器、Java 虚拟机等关键基础软件中的质量与安全保障问题，研究程序特征驱动的自动化、智能化测试方法。围绕基础软件复杂语义、运行时状态和历史缺陷知识建模，提出了一系列面向编译器测试、虚拟机测试和缺陷检测的测试生成技术，在OpenJDK HotSpot、Eclipse OpenJ9、ECJ，以及华为仓颉编译器、BishengJDK等开源和国产基础软件中发现多个未知缺陷，有效提升关键基础软件的可靠性。

近年来，参与国家重点研发计划青年科学家项目、国家自然科学基金面上项目及多项华为横向课题，在ASE、ICSE、ISSTA、TSE、TOSEM、CCS 等 CCF-A 类国际会议和期刊发表多篇论文。组织ASE 2025 Security分论坛，并担任 TSE、TOSEM、EuroSys、ICSE 等多个国际顶级期刊和会议审稿人。曾获CCF 原型竞赛一等奖，入选 ChinaSoft 2022 优秀博士生论坛。

项目：

1. 国家重点研发计划青年科学家项目，参与

2. 并发缺陷的快速检测、定位及高质量补丁自动生成研究，国自然面上项目，参与

3. 编程语言及基础设施可信增强技术合作项目，华为编程语言实验室，参与

4. 编程语言及虚拟机Fuzz测试能力增强技术，华为编程语言实验室，参与

5. 数据驱动的 JVM 测试方法研究，华为胡杨林课题，参与

论文：

1. Haichi Wang, Ruiguo Yu, Yesong Pang, Yingquan Zhao, Junjie Chen*, Jiajun Jiang, Zan Wang. Towards Better Linux Kernel Fault Localization: Leveraging Contrastive Reasoning and Hierarchical Context Analysis. ICSE 2026 (CCF A)

2. Kai Zheng, Zan Wang*, Yingquan Zhao, Junjie Chen*, Hanmo You, Haoyu Wang, Yiheng Du, Tianchang Gao. Exploring JVM Garbage Collector Testing with Event-Coverage. TOSEM 2026 (CCF A)

3. Yingquan Zhao, Zan Wang, Junjie Chen*, Ruifeng Fu, Yanzhou Lu, Tianchang Gao, Haojie Ye. Program Ingredients Abstraction and Instantiation for Synthesis-based JVM Testing. CCS 2024 (CCF A)

4. Yingquan Zhao, Junjie Chen*, Ruifeng Fu, Haojie Ye, Zan Wang. Testing the Compiler for a New-born Programming Language: An Industrial Case Study (experience paper). ISSTA 2023 (CCF A)

5. Yingquan Zhao, Zan Wang, Junjie Chen*, Mengdi Liu, Mingyuan Wu, Yuqun Zhang, Liangming Zhang. History-driven Test Program Synthesis for JVM Testing. ICSE 2022 (CCF A)

6. Yingquan Zhao, Zan Wang, Shuang Liu*, Jun Sun, Junjie Chen, Xiang Chen, Achieving High MAP Coverage through Pattern Constraint Reduction. TSE 2022 (CCF A)

7. Zan Wang, Yingquan Zhao, Shuang Liu*, Jun Sun, Xiang Chen, Huarui Lin. Map-coverage: A Novel Coverage Criterion for Testing Thread-safe Classes. ASE 2019 (CCF A)

8. 赵英全，张博凯，王赞，郭以勒，陈佳丽，陈翔，陈俊洁. 基于大语言模型的Java新特性测试程序生成. 软件学报 (Journal of Software) (国内核心期刊，CCF A类中文期刊)

1. 第 18 届全国软件与应用学术会议原型竞赛自由型一等奖

2. 2023 年 CCF 中国软件大会原型竞赛自由型二等奖

3. 入选2022年 CCF 中国软件大会优秀博士生论坛

学术组织/协会： CCF网络与系统安全专委执行委员

学术会议：TOSEM、TSE、Eurosys26、ISSTA25审稿人

办公地址：天津大学北洋园校区55教学楼A222

电子邮箱：zhaoyingquan.tju.edu.cn