郭世凯 副教授
计算机科学与技术学科，软件工程系
毕业院校：大连海事大学
邮箱：shikai.guo@dlmu.edu.cn
研究方向：AI for EDA、可编程芯片(FPGA)编译环境构建优化与测试、智能软件工程
TSMC实验室负责人，具有博士、硕士招生名额，招募本科各年级实 习生，欢迎邮件咨询！
| 个人简介
郭世凯，大连海事大学信息科学技术学院 特评副教授。CCF YOCSEF大连主席，辽宁省高等学校优秀毕业生指导教师，辽宁省教师金课大赛（2023/2024） 特等奖，2023年获评大连市科技人才创新支持计划（优秀青年科技人才），2021年获评大连市高层次人才（青年才俊），2021年入选大连海事大学星海工程人才支持计划，2020年获评辽宁省优秀博士学位论文，全国研究生教育评估监测评审专家。作为指导教师指导学生尚修为，入选人民日报专版刊登的《2021-2022学年度本专科生国家奖学金获奖学生代表名录》。同时，作为指导教师获评国家、省部级以上A类竞赛获奖100余项。其中，获评“互联网+”创新创业大赛全国银奖，中国大学生计算机设计大赛国家一等奖、中国机器人及人工智能大赛全国一等奖、全球校园人工智能算法精英大赛全国一等奖、第二十一届全国大学生信息安全与对抗技术竞赛国家一等奖、睿抗机器人开发者大赛国家一等奖等多项A类竞赛国家级一等奖，以及多项中国大学生创新创业国家级项目。此外，获评第十八届中国研究生电子设计竞赛、中国机器人及人工智能大赛、iCAN大学生创新创业大赛和人工智能算法精英赛等多项A类竞赛的优秀指导教师。指导本科毕设获评多项大连海事大学校优秀本科毕业论文，指导研究生多次获得研究生国家奖学金。
研究领域涉及AI for EDA（卡脖子EDA方向）、可编程芯片(FPGA)编译环境构建优化与测试（卡脖子EDA方向）、智能软件工程。在国际著名期刊和国际会议（包括CCF A或ACM/IEEE Trans.期刊会议，如DAC、FSE、IEEE TSE、ACM TOSEM、ACM TODAES、IEEE TR、IEEE TIM、IEEE TCE、IEEE TCBB等）上发表论文50余篇，申请/授权国家发明专利40余项，授权软件著作权30余项。主持国家自然科学面上基金、大连市优秀青年科技人才项目、大连市应用基础项目、国家自然科学青年基金、中国博士后面上项目及多项省市项目。
TSMC实验室负责人
每年招收硕士生5-6名，欢迎计算机大类学硕、专硕的同学投递（简历）报名联系！
每年招收本科生5-10名，欢迎计算机大类、电子、通信等专业的同学投递（简历）报名联系！
学硕：计算机科学与技术 (081200)、软件工程 (083500)
专硕：计算机技术 (085404)、软件工程 (085405)、人工智能 (085410)、大数据技术与工程 (085411) 等
夏令营优秀营员：推免直接录取/考研优先录取，入营名额有限，请提前联系
| 教育经历
2007.09-2011.07 辽宁大学 计算机科学与技术 学士
2012.09-2018.12 大连海事大学 计算机应用 博士
| 工作经历
2019.01-2021.01 大连海事大学 船舶电气工程学院 师资博士后
2021.01-至今 大连海事大学 信息科学技术学院 副教授
| 讲授课程
1. Java程序设计
2. 软件工程
| 研究领域
1. AI for EDA（卡脖子EDA方向）
2. 可编程芯片(FPGA)编译环境构建优化与测试（卡脖子EDA方向）
3. 智能软件工程
4. 谷歌学术主页：https://scholar.google.com.hk/citations?hl=zh-CN&user=8P9xfewAAAAJ&view_op=list_works&sortby=pubdate
学术成果
| 期刊论文
1. Zun Wang, He Jiang (*), Xiaochen Li, Shikai Guo, What Causes Bugs in FPGA High-Level Synthesis Tools? An Empirical Study of FPGA High-Level Synthesis Tool Bugs, IEEE Transactions on Reliability. (SCI). Accepted
2. Lehuan Zhang, Shikai Guo (*), Zixuan Wang, Xiaoyu Wang, Xiaochen Li, He Jiang, Live Region Mutation Testing for Commercial Cyber-Physical System Development Tool Chain, DAC 2025. (EI, CCF A). Accepted
3. Peiyu Zou, Xiaochen Li (*), Shikai Guo (*), Weihong Sun, Yuyao Xu and He Jiang, MAGCS: Multi-Agent Guided Configuration Search for Optimization Fault Detection in Logic Synthesis, DAC 2025. (EI, CCF A). Accepted
4. Xirun Wei, Qiao Ning (*), Kuiyang Che, Hui Li, Shikai Guo, Sul-BertGRU: An Ensemble Deep Learning Method Integrating Information Entropy-enhanced BERT and Directional Multi-GRU for S-sulfhydration Sites Prediction, Bioinformatics. (SCI, CCF B). Accepted
5. Yi Zhang, He Jiang (*), Shikai Guo, Xiaochen Li, Hui Liu, Chongyang Shi, Toward Understanding FPGA Synthesis Tool Bugs, ACM Transactions on Software Engineering and Methodology. (SCI, CCF A). Accepted
6. Jiaxi Tan, Shikai Guo (*), Zijian Tao, Zhiguo Yang, Hui Li, Just-In-Time Detection of Outdated Comments in Software Development by Jointly Reasoning, IEEE Transactions on Consumer Electronics. (SCI). https://doi.org/10.1109/TCE.2025.3535632
7. Xinyue Long, Shikai Guo (*), Yu Chai (*), Hui Li, Sumaira Ameer Jan, Qian Ma, Qiao Ning, Lingual-Fusion Adapter-Based Transfer Learning for Low-Resource Code Vulnerability Detection, IEEE Transactions on Consumer Electronics. (SCI). https://doi.org/10.1109/TCE.2025.3535638
8. Lingxiao Zhao, Hui Li (*), Yongqian Chen, Xiaowei Pan, Shikai Guo, Structuring Semantic-Aware Between Bug and Patch for Better Patch Correctness Assessment, Software: Practice and Experience, 37(2) (2025). (SCI, CCF B).
9. Xu Zhao, He Jiang (*), Xiaochen Li, Shikai Guo, Zhilei Ren, Peiyu Zou, Huijiang Liu, PCBSmith: An Effective Schematic Generator for Testing PCB Design Tool Chain, IEEE Transactions on Reliability. (SCI). https://doi.org/10.1109/TR.2025.3529303
10. Ke Xv, Shikai Guo (*), Hui Li, Chenchen Li, Rong Chen, Xiaochen Li, He Jiang, Making Fault Localization in Online Service Systems More Actionable and Interpretable, ACM Transactions on Software Engineering and Methodology. (SCI, CCF A). http://dx.doi.org/10.1145/3714466
11. Yanxin Chen, Qiao Ning (*), Yitong Zhang, Hui Li, Shikai Guo (*), Dual-network Cross-learning for Metabolite-Disease Association Prediction, IEEE/ACM Transactions on Computational Biology and Bioinformatics. (SCI, CCF B). https://doi.org/10.1109/TCBBIO.2025.3527457
12. Hetong Liang, Shikai Guo (*), Hui Li, Chenchen Li, Uncertainty Estimation of Automatic Software Debugging in Open-Source Projects Community, IEEE Transactions on Consumer Electronics. (SCI). https://doi.org/10.1109/TCE.2024. 3524511
13. Wenjuan Tang, Rong Chen (*), Zhikang Zhang, Shikai Guo, Incentivizing Crowdsourcing Workers via Social Networks in Edge Computing, IEEE Transactions on Consumer Electronics. (SCI). https://doi.org/10.1109/TCE.2024.3515145
14. Ruijie Li, Qiao Ning (*), Yaomiao Zhao, Shikai Guo (*), Hui Li, MHMDA: “Similarity-Association-Similarity” Metapaths and Heterogeneous-Hyper Network Learning for MiRNA-Disease Association Prediction, IEEE/ACM Transactions on Computational Biology and Bioinformatics. (SCI, CCF B). https://doi.org/10.1109/TCBBIO.2024.351 8515
15. Shouyu Yin, Shikai Guo (*), Hui Li, Chenchen Li, Rong Chen, Xiaochen Li, He Jiang, LineDef: Line-Level Defect Prediction by Capturing Code Contexts with Graph Neural Networks, IEEE Transactions on Software Engineering, 51(1): 172-191 (2025). (SCI, CCF A).
16. Zhihao Xu, Shikai Guo (*), Xiaochen Li (*), Zun Wang, He Jiang, SIMTAM: Generation Diversity Test Programs for FPGA Simulation Tools Testing Via Timing Area Mutation, ACM Transactions on Design Automation of Electronic Systems, Volume 30, Issue 2, Pages 1–25, 2025. (SCI, CCF B).
17. Lehuan Zhang, Shikai Guo (*), Yi Guo, Hui Li, Yu Chai, Rong Chen, Xiaochen Li, He Jiang, Context-based Transfer Learning for Structuring Fault Localization and Program Repair Automation, ACM Transactions on Software Engineering and Methodology. (SCI, CCF A). https://doi.org/10.1145/3705302
18. Xiaochen Li, Youcheng Zhu, Shikai Guo, He Jiang (*), What Causes Bugs in Numerical Simulation Software? An Empirical Study, IEEE Transactions on Reliability. (SCI). https://doi.org/10.1109/TR.2024.3492380
19. He Jiang (*), Peiyu Zou, Xiaochen Li, Zhide Zhou, Xu Zhao, Yi Zhang, Shikai Guo, DeLoSo: Detecting Logic Synthesis Optimization Faults Based on Configuration Diversity, ACM Transactions on Design Automation of Electronic Systems, Vol. 30, No. 1, 2025. (SCI, CCF B).
20. Peiyu Zou, He Jiang (*), Xiaochen Li, Zhide Zhou, Shikai Guo, Xu Zhao, Logic Synthesis Tools Testing via Configuration Diversification with Combinatorial Multi-Armed Bandit, IEEE Transactions on Instrumentation and Measurement. (SCI). https://doi.org/10.1109/TIM.2025.3542861
21. Xu Zhao, He Jiang (*), Shikai Guo, Dong Liu, Hui Liu, Chongyang Shi, Xiaochen Li, A Comprehensive Study of Open-Source Printed Circuit Board (PCB) Design Software Bugs, IEEE Transactions on Instrumentation and Measurement, 73: 1-16 (2024). (SCI).
22. Zhenkan Fu, Shikai Guo, Hui Li, Rong Chen, Xiaochen Li, He Jiang (*), Making Multi-Granularity Code Changes on Vulnerability Fix Detector Robust to Mislabeled Changes, the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024: 5817-5825. (EI, CCF A).
23. He Jiang (*), Zun Wang, Zhide Zhou, Xiaochen Li, Shikai Guo, Weifeng Sun, Tao Zhang, A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection, IEEE Transactions on Software Engineering, 50(4): 937-955 (2024). (SCI, CCF A).
24. Zhengkang Xu, Shikai Guo (*), Yumiao Wang, Hui Li, Rong Chen, Xiaochen Li, He Jiang, Code Comment Inconsistency Detection based on Confidence Learning, IEEE Transactions on Software Engineering, 50(3): 598-617, 2024. (SCI, CCF A).
25. Xiuwei Shang, Shuai Zhang, Yitong Zhang, Shikai Guo (*), Rong Chen, Hui Li, Xiaochen Li, He Jiang, Analyzing and Detecting Information Types of Developer Live Chat Threads, ACM Transactions on Software Engineering and Methodology, 33(5), 131:1-131:25, 2024. (SCI, CCF A).
26. Shikai Guo, Dongmin Li, Lin Huang, Sijia Lv, Rong Chen (*), Hui Li, Xiaochen Li, He Jiang, Estimating Uncertainty in Labeled Changes by SZZ Tools on Just-in-Time Defect Prediction, ACM Transactions on Software Engineering and Methodology, 33(4), 105:1-105:25, 2024. (SCI, CCF A).
27. Yi Guo, Yu Chai, Lehuan Zhang, Mengzhi Luo, Hui Li (*), Shikai Guo, Context-based Transfer Learning for Low Resource Code Summarization, Software: Practice and Experience, 54(3): 465-482 (2024). (SCI, CCF B).
28. Shikai Guo, Haorui Lin, Jiaoru Zhao, Hui Li (*), Rong Chen, Xiaochen Li, He Jiang, An Easy Data Augmentation Approach for Application Reviews Event Inference, IEEE Transactions on Software Engineering, 49(10): 4751-4772 (2023). (SCI, CCF A).
29. Xiaochen Li, Shikai Guo, Hongyi Cheng, He Jiang (*), Simulink Compiler Testing via Configuration Diversification with Reinforcement Learning, IEEE Transactions on Reliability, 73(2), 1060-1074, June 2024. (SCI).
30. Hui Li, Yong Liu, Xuexin Qi, Xi Yu, Shikai Guo (*), Structuring Meaningful Bug-Fixing Patches to Fix Software Vulnerabilities, 17(4), August 2023, 566-581, IET Software. (SCI, CCF B).
31. Shikai Guo, Siwen Wang, Hui Li (*), Yulong Fan, Yaqing Liu, Bin Zhang, Multi-Feature Fusion Based Structural Deep Neural Network for Predicting Answer Time on Stack Overflow, Journal of Computer Science and Technology, 38(3): 582−599 May 2023. (SCI, CCF B).
32. Dong Liu, He Jiang (*), Shikai Guo, Yuting Chen, Lei Qiao, What’s Wrong with Low-Code Development Platforms? An Empirical Study of Low-Code Development Platform Bugs, IEEE Transactions on Reliability, 73(1), 695-709, March 2024. (SCI).
33. He Jiang (*), Hongyi Cheng, Shikai Guo, Xiaochen Li, Partition Based Differential Testing for Finding Embedded Code Generation Bugs in Simulink, the 60th ACM/IEEE Design Automation Conference (DAC 2023), 1-6. (EI, CCF A).
34. Shikai Guo, Mengxuan Li, Xin Ge (*), Hui Li, Rong Chen, Tingting Li, Constructing Meaningful Code Changes via Graph Transformer, IET Software. 17(2), 154-167, April 2023. (SCI, CCF B).
35. He Jiang (*), Yulong Li, Shikai Guo, Xiaochen Li, Tao Zhang, Hui Li, Rong Chen, Dup-Hunter: Detecting Duplicate Pull Requests in Fork-Based Development, IEEE Transactions on Software Engineering, 49(4): 2920-2940 (2023). (SCI, CCF A).
36. Wenjun Tang, Rong Chen (*), Jiali Zhang, Lin Huang, Shengjie Zheng, Shikai Guo, Optimization of Web Service Testing Task Assignment in Crowdtesting Environment, Journal of Computer Science and Technology, 38(2): 455-470 (2023). (SCI, CCF B).
37. Shikai Guo, Jiahui Wang (Co-First author), Zhihao Xu, Lin Huang, Rong Chen (*), Hui Li, Feature Transfer Learning by Reinforcement Learning for Detecting Software Defect, Software: Practice and Experience, 53(2), 366-389, 2023. (SCI, CCF B).
38. Shikai Guo, Zhongyan Liu, Zixuan Song, Hui Li, Rong Chen (*), Code Samples Summarization for Knowledge Exchange in Developer Community, Software: Practice and Experience, 53(2), 347-365, 2023. (SCI, CCF B).
39. Shikai Guo, He Jiang (*), Zhihao Xu, Xiaochen Li, Zhilei Ren, Zide Zhou, Rong Chen, Detecting Simulink Compiler Bugs via Controllable Zombie Blocks Mutation, The 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE 2022), Singapore, November 14-18, 2022. (EI, CCF A).
40. Hui Li, Yang Qu, Yong Liu, Rong Chen, Jun Ai, Shikai Guo (*), Self-Admitted Technical Debt Detection by Learning Its Comprehensive Semantics via Graph Neural Networks, Software: Practice and Experience, 52(10): 2152-2176, October 2022. (SCI, CCF B).
41. Shikai Guo, Jian Dong, Hui Li (*), Jiahui Wang, Software Defect Prediction with Imbalanced Distribution by Radius-Synthetic Minority Over-Sampling Technique, Journal of Software: Evolution and Process, 33(7) (2021). (SCI, CCF B).
42. Siwen Wang, Linhui Wang, Yang Qu, Rong Chen, Shikai Guo (*), Toward More Accurate Developer Recommendation via Inference of Development Activities from Interaction with Bug Repair Process, Journal of Software: Evolution and Process, 33(5) (2021). (SCI, CCF B).
| 知识产权
1. 郭世凯，汪海博，王倩，李孟儇，李宇龙，宋子煊，一种基于风险策略和多样性策略的Simulink测试方法，申请号：CN202110944362.6，专利号：ZL 202110944362.6，申请日期：2021年8月17日，授权日期：2023年9月22日，国家发明专利，已授权
2. 郭世凯，李孟儇，王子轩，葛新，李辉，一种基于知识库的CPS模型等价模输入变异测试方法，申请号：CN202210451298.2，专利号：ZL 2022 1 0451298.2，申请日期：2022年4月26日，授权日期2024年5月21日，国家发明专利，已授权
3. 郭世凯，成烘仪，王富强，李辉，陈荣，一种Simulink代码生成工具测试方法，申请号：CN202210349093，专利号：ZL 2022 1 0349093.3，申请日期：2022年4月1日，授权日期：2024年6月28日，国家发明专利，已授权
4. 郭世凯，徐志豪，尚修为，李辉，陈荣，一种基于可控断言突变的Simulink软件测试方法，申请号：CN202210348499.X，专利号： ZL 2022 1 0348499.X，申请日期：2022年4月1日，国家发明专利，已授权
5. 郭世凯，王子轩，龚仕豪，李辉，陈荣，一种基于子系统和数据恢复的Simulink测试方法，申请号：CN202210267643，公开号CN114816988A，申请日期：2022年3月17日，国家发明专利，已授权
6. 郭世凯，王子轩，戚学欣，杜娜，宋士虓，王一安，李晓晨，江贺，面向信息物理系统开发工具链编译器的测试用例生成系统，登记号2023SR0225205，授权日期2023年2月10日，计算机软件著作权，已授权。
7. 郭世凯，王子轩，戚学欣，杜娜，宋士虓，李晓晨，江贺，面向信息物理系统开发工具链编译器的自动化测试及效率优化系统，登记号2023SR0225204，授权日期2023年2月10日，计算机软件著作权，已授权。
8. 郭世凯，王子轩，杜娜，丰晴，苗煜杨，宋士虓，李晓晨，江贺，EDA工业软件缺陷存储与复现系统，登记号2023SR1009218，授权日期2023年9月4日，计算机软件著作权，已授权。
9. 郭世凯，刘昭维，王子轩，杜娜，任虹燕，丰晴，宋士虓，李晓晨，江贺，EDA工业软件自主分类识别系统，登记号2023SR1340779，授权日期2023年10月30日，计算机软件著作权，已授权。
10. 郭世凯，王子轩，杜娜，宋士虓，丰晴，苗煜杨，李晓晨，江贺，EDA多样化测试方案管理系统，登记号2023SR1143396，授权日期2023年9月22日，计算机软件著作权，已授权。
| 科研项目
1. 2025.01-2028.12：面向FPGA仿真验证工具的自动化测试与缺陷定位方法研究
国家自然科学基金委，国家自然科学面上基金项目，50万，主持，在研
2. 2025.01-2026.12：面向可编程芯片的编译工具链软件生态质量保证方法研究
大连市科技局，大连市科技创新基金(应用基础研究项目), 30万，主持，在研
3. 2023.01-2024.12：基于人机协同的群智测试贡献汇聚机理与方法研究
大连市科技局，优秀青年科技人才, 30万，主持，在研
4. 2020.01-2022.12：群体测试环境下高影响力缺陷报告的智能筛选、分派与辅助修复方法研究
国家自然科学基金委，国家自然科学青年基金项目，27万，主持，结题
5. 2020.07-2022.06：基于群体测试环境下的高影响力缺陷报告识别与辅助修复方法研究
中国博士后科学基金会，8万，主持，结题
|主要荣誉
1. CCF YOCSEF大连 主席 （2024-2025）
2. 辽宁省优秀博士学位论文，辽宁省教育厅，2020，郭世凯。
3. 大连市优秀青年科技人才（市优青），大连市科技局，2023，郭世凯。
4. 大连市高层次人才称号（青年才俊），大连市科技局，2021，郭世凯。
5. 辽宁省教师金课大赛 特等奖，辽宁省教师发展中心，2023/2024，郭世凯
6. 第十八届中国研究生电子设计竞赛 优秀指导教师
7. 中国机器人及人工智能大赛 优秀指导教师
8. iCAN大学生创新创业大赛 优秀指导教师
9. 人工智能算法精英赛等多项竞赛 优秀指导教师
10. 人民日报专版刊登的《2021-2022学年度本专科生国家奖学金获奖学生代表名录》尚修为，指导教师
| 招生信息（预申请硕士同学，请将简历发送至邮箱shikai.guo@dlmu.edu.cn）
| 招生类型 | 专业代码 | 招生专业 | 研究方向 |
硕士生 | 学术型 | 081200 | 计算机科学与技术 | 研究方向从事AI for EDA（卡脖子EDA方向），具体主要集中在可编程芯片(FPGA)编译环境构建优化与测试（卡脖子EDA方向）。智能软件工程主要集中在代码智能、程序漏洞检测\修复 |
083500 | 软件工程 |
专业型 | 085404 | 计算机技术 |
085405 | 软件工程 |
085410 | 人工智能 |
085411 | 大数据技术与工程 |
085412 | 网络与信息安全 |
