郭世凯 副教授

计算机科学与技术系，计算机科学与技术学科

毕业院校：大连海事大学

通信地址：辽宁省大连市凌海路1号

    学位：博士

邮箱：shikai.guo@dlmu.edu.cn

主要研究方向：EDA编译工具链优化构建、智能软件工程

邮编：116026

| 教育经历

2012.03-2018.12 大连海事大学 计算机应用 博士

| 工作经历

2019.01-2021.01 大连海事大学 船舶电气工程学院 师资博士后

2021.01-至今  大连海事大学 信息科学技术学院 副教授

| 讲授课程

1. Java程序设计

2. 软件工程

| 研究领域

1. EDA编译器优化

2. EDA编译器测试

3. 程序智能分析

学术成果

| 期刊论文

1. 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).

2. 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).

3. 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).

4. 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).

5. 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).

| 专利成果

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日，已授权

| 科研项目

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. 辽宁省优秀博士学位论文，辽宁省教育厅，2020，郭世凯。

2. 辽宁省教师金课大赛 特等奖，辽宁省教师发展中心，2023，郭世凯

3. 大连市优秀青年科技人才（市优青），大连市科技局，2023，郭世凯。

4. 大连市高层次人才称号（青年才俊），大连市科技局，2021，郭世凯。

5. CCF YOCSEF大连 主席 （2024-2025）

| 招生信息