刘勇，工学博士，讲师，硕士导师，国际大学生程序设计竞赛教练。2015年毕业于北京化工大学，获工学博士学位。主要研究方向为源代码分析，变异测试，程序错误定位，信息技术与教育融合等。发表SCI/EI收录论文10余篇，主持了国家自然科学基金青年基金项目1项和企业横向项目等，指导学生获得ICPC国际大学生程序设计竞赛亚洲区金奖2项，银奖2项，铜奖10余项。
主要科研项目 Research Projects
项目名称 | 项目来源 |
面向真实错误的高阶变异错误定位技术研究 | 国家自然科学基金青年基金 |
设备运行数据采集与服务状态管理平台研究与开发 | 企业横向课题 |
英文版设备状态监测系统开发 | 企业横向课题 |
程序评测与作品展示系统研究与开发 | 企业横向课题 |
主要论文Research Paper
[QRS2019]Zheng Li, Yonghao Wu, Yong Liu*. An Empirical Study of Bug Isolation on theEffectiveness of Multiple Fault Localization. IEEE International Conference on Software Quality, Reliability and Security. IEEE, 2019.
[JSS2019]Yong Liu, Meiying Li, Yonghao Wu, Zheng Li*. A Weighted Fuzzy Classification Approach to Identify and Manipulate Coincidental Correct Test Cases for Fault Localization, Journal of Systems and Software, 2019(151):20-37
[IS2018]Yong Liu, Zheng Li, Ruilian Zhao*, Pei Gong. An Optimal Mutation Execution Strategy for Cost Reduction of Mutation-Based Fault Localization, Information Science,2018(422):572-596
[QRS2017]Yong Liu, Zheng Li, Linxin Wang, Ruilian Zhao*. Statement-Oriented Mutant Reduction Strategy for Mutation Based Fault Localization. IEEE International Conference on Software Quality, Reliability and Security. IEEE, 2017.
[COMPSAC2017]Xiujing Liu, Yong Liu, Zheng Li, Ruilian Zhao. Fault Classification Oriented Spectrum Based Fault Localization. IEEE Computer Society Signature Conference on Computers, Software and Applications(COMPSAC). IEEE, 2017.
[SATE2016]Zheng Li, Meiying Li, Yong Liu*, Jingyao Geng. Identify Coincidental Correct Test Cases Based on Fuzzy Classification. International Conference on Software Analysis, Testing and Evolution. IEEE, 2016:72-77.
研究成果Research Achievements
主要在基于变异的错误定位（MBFL）和基于程序谱的错误定位（SBFL）两种自动化错误定位技术的研究方面取得了一定的成果。MBFL方面，针对该技术存在的执行开销大的问题，从测试用例优化、变异体约减、变异体执行优化等多个方面展开研究，在保证错误定位高精度的前提下，大幅度提升了执行效率。SBFL方面，从偶然正确测试用例识别与处理，多错误情况下的测试用例聚类等方面展开研究，提升了SBFL的错误定位效果。
