董玉坤
研究领域 智能化软件工程、程序分析、3D人体建模、智能油田 学术兼职 计算机学会会员、人工智能学会会员 主讲课程 《软件测试与质量》、《软件质量与可靠性》、《软件分析与安全》、《形式化建模与分析方法》、《软件开发过程实战》、《面向对象分析与设计》、《软件工程综合实习》、《中间件技术》 教学、科研项目 1. 程序语义缺陷充分检测与无副作用修复研究,山东省自然科学基金面上项目,2022.01-2024.12,10万,主持 2. 虚拟人脸生成技术研发,横向项目,2021.09-2021.12,4万,主持 3. 深层注气开发注采参数的智能协同与优化算法,自主创新科研计划项目,2020.05-2022.12, 44万,主持 4. 程序语义缺陷充分检测与自动修复研究,自主创新科研计划项目,2019.01-2021.12, 15万,主持 5. 站库消防自控系统抢维修技术研究----消防智慧管理平台开发与应用,横向项目,2018.12-2020.02,55万,主持 6. 基于OBE工程教育理念的软件工程核心课程教学改革,银河电子游戏1331教改项目,2016.10-2018.09,0.5万,主持 7. 代码级内存缺陷检测的充分性研究,山东省优秀中青年科学家科研奖励基金,2015.07-2017.07,7万,主持 8. C程序代码级内存缺陷的充分性检测技术研究,自主创新科研计划项目,2015.01-2016.12,5万,主持 论文论著 1. Yukun Dong*, Yeer Tang, Xiaotong Cheng, Yufei Yang. DeKeDVer: A deep learning-based multi-type software vulnerability classification framework using vulnerability description and source code,Information and Software Technology,2023.(SCI二区) 2. Yukun Dong*, Yeer Tang, Xiaotong Cheng, Yufei Yang, Shuqi Wang. SedSVD: Statement-level software vulnerability detection based on Relational Graph Convolutional Network with subgraph embedding,Information and Software Technology,2023.(SCI二区) 3. Pang Shanchen, Peng Rongrong, Dong Yukun*, Yuan Qi, Wang Shengtao, Sun Junqi. SedSVD: Statement-level software vulnerability detection based on Relational Graph Convolutional Network with subgraph embedding,NEURAL COMPUTING & APPLICATIONS,2023.(SCI三区) 4. 董玉坤, 唐道龙, 孙玉雪, 位欣欣. 不正确程序修复补丁识别. 计算机系统应用, 2023(中文核心) 5. Dong Yukun*, Tang Daolong, Cheng Xiaotong, Yang Yufei. Quality Evaluation Method of Automatic Software Repair Using Syntax Distance Metrics,Symmetry, 2022. (SCI三区) 6. Dong Yukun*, Liu Fubin, Zhang Yu, Wu Qiong. Prediction of Oil Saturation during Water and Gas Injection Using Controllable Convolutional Long Short-Term Memory, Energies, 2022. (SCI三区) 7. Dong Yukun*, Sun Yuxue, Wang Xun. Automatic Repair Method for Null Pointer Dereferences Guided by Program Dependency Graph,Symmetry, 2022. (SCI三区) 8. Dong Yukun*, Zhang Yu, Liu Fubin, Zhu Zhengjun. Research on an Optimization Method for Injection-Production Parameters Based on an Improved Particle Swarm Optimization Algorithm, Energies, 2022. (SCI三区) 9. 董玉坤*, 李浩杰,位欣欣,唐道龙. 基于程序结构与语义特征融合的软件缺陷预测, 计算机工程与应用,2022,(中文核心) 10. 董玉坤*, 位欣欣,孙玉雪,唐道龙. 跟踪机制引导的C程序内存错误自动修复, 计算机工程与应用,2022,(中文核心) 11. Dong Yukun*, Zhang Yu, Liu Fubin, Cheng Xiaotong. Reservoir Production Prediction Model Based on a Stacked LSTM Network and Transfer Learning, ACS OMEGA, 2021.(SCI三区) 12. Yukun Dong*, Li Zhang, Shanchen Pang S. Automatic Repair of Semantic Defects Using Restraint Mechanisms. Symmetry, 2020. (SCI三区) 13. Yukun Dong*, Meng Wu, Li Zhang. Priority Measurement of Patches for Program Repair Based on Semantic Distance,Symmetry, 2020. (SCI三区) 14. Yukun Dong*, Mengying Wu, Shanchen Pang. Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects,Symmetry, 2020. (SCI三区) 15. 王淑栋,尹文静,董玉坤*. 面向顺序存储结构的数据流分析, 软件学报,2020. (中文一级学报) 16. Yukun Dong*, Wenjing Yin, Shudong Wang. Memory Leak Detection in IoT Program Based on an Abstract Memory Model SeqMM,IEEE Access,2019. (SCI二区) 17. Yukun Dong*. A sound abstract memory model for static analysis of C programs. International Journal of Computational Science and Engineering. 2018.(EI) 18. Yukun Dong*. Detecting all potential null dereferences based on points-to property sound analysis. International Journal of Computers and Applications,2018.(EI) 19. 董玉坤*. 基于符号约束集的条件表达式数据流分析. 科学技术与工程, 2018.(中文核心) 20. 李克文,董玉坤. 银河电子游戏1331规划教材,《软件测试技术》,中国石油大学出版社,2017 21. 董玉坤*. 大学课堂中“假性边缘人”现象及解决对策, 中国石油大学学报(社会科学版),2017.(中文核心) 22. 董玉坤*. 基于OBE模式的软件测试课程教学改革研究,课程教育研究 2017 23. Yukun Dong*. Fully detection of illegal memory access defects, CISIS 2016.(EI) 24. Yukun Dong*. Fully detection of illegal value use defects, INCOS 2016.(EI) 25. 董玉坤*. C程序非法计算缺陷的静态检测, 计算机工程与应用, 2016.(中文核心) 26. 董玉坤*. 基于属性可靠分析的空指针引用缺陷检测, 计算机工程与应用, 2016.(中文核心) 27. 董玉坤*. 面向卓越测试工程师培养的软件测试课程教学改革与实践, 教育教学论坛,2016 28. Yukun Dong*. RSTVL: A sound memory model for static analysis of C programs, ICAICE 2015.(EI) 29. 董玉坤*. “软件测试”课程教学现状分析, 课程教育研究,2015 30. 董玉坤*, 金大海等. 基于区域内存模型的C程序静态分析, 软件学报,2014. (中文一级学报) 31. 董玉坤*, 宫云战等. 基于区域内存模型的空指针引用缺陷检测,电子学报,2014. (中文一级学报) 32. Yukun Dong*. Symbolic Procedure Summary Using Region-based Symbolic Three-Valued Logic, Journal of Computer, 2014 33. Yukun Dong*. An Approach for Identifying Detecting Objects of Null Dereference, Journal of Software, 2014 34. Yukun Dong*. An Approach to Fully Recognizing Addressable Expression, QSIC 2013.(EI) 35. 董玉坤*, 李村合. 基于UML协作图的集成测试序列生成方法, 计算机工程与应用, 2007.(中文核心) 36. 董玉坤*, 李村合. 基于Struts的Web程序分析与测试, 微计算机应用, 2007 获得荣誉 1. 2022年山东省教学成果奖一等奖,使命驱动的递进式计算机类研究生创新创业教育改革与实践(4位/10人) 2. 2020年中国石油(华东)十佳优秀导师团队 3. 2020年中国技术市场协会金桥奖二等奖,边云协同的能源开采智能决策关键技术及应用,(1位/5人) 4. 2019年教育部科技进步二等奖,边云协同的油气物联网智能决策关键技术及应用(6位/15人) 5. 2019年中国产学研合作促进会创新成果二等奖,边云协同的能源开采智能决策关键技术(2位/10人) 6. 2019年银河电子游戏1331教学成果二等奖(2位/9人) 7. 2019年银河电子游戏1331优秀班主任 8. 2018年中国产学研合作促进会创新成果二等奖,知识驱动的油气开采智能生产关键技术,(4位/10人) 9. 2018年中国石油和化学工业联合会科技进步三等奖, 大数据环境下油气开采智能生产关键技术,(4位/15人) 10. 2017年银河电子游戏1331教学成果一等奖(4位/9人) 11. 2015年银河电子游戏1331教学成果二等奖(3位/7人) 12. 2015年银河电子游戏1331优秀教师 13. 2011年山东省优秀学士学位论文指导教师 专利 1. 专利:一种基于受限集的程序语义缺陷自动修复方法 专利号:ZL201910832302.8(排名1/5) 2. 专利:一种基于抽象内存模型的数据流分析方法 专利号:ZL201910832877.X(排名1/5) 3. 专利:一种充分识别指针引用检测对象的方法 专利号:ZL201410115369.7(排名2/5) 4. 专利:一种充分检测空指针引用缺陷的方法 专利号:201310141769.0(排名3/5) 5. 专利:一种基于符号化函数摘要的静态分析方法及系统 专利号:201310538362.1(排名5/5) 指导学生 自2019年以来共指导培养硕士研究生毕业17名 |