韩丽萍

姓名：韩丽萍

职称：讲师

部门：计算机技术研究所

研究方向：不确定性软件工程，软件测试

邮箱：liping@njupt.edu.cn

个人简介： 

韩丽萍，博士，于2023年12月在南京航空航天大学获软件工程专业博士学位，期间于2021年至2023年在挪威Simula研究所访问学习，并担任工程复杂软件系统部门（Dep. of Engineering Complex Software Systems）研究工程师（Research Engineer）一职。现为南京邮电大学计算机学院、软件学院、网络空间安全学院专任教师。主要研究兴趣为不确定性软件工程、软件测试、以及经验软件工程等。参与国家自然科学基金、欧盟Horizon2020等多个项目，担任多个国际学术期刊及会议（如ACM TOSEM、Elsevier SCP、ISSRE）的审稿人。

科研成果： 

代表性论文：

l  Liping Han, Shaukat Ali, Tao Yue*, Aitor Arrieta, and Maite Arratibel. Uncertainty-aware Robustness Assessment of Industrial Elevator Systems. ACM Transactions on Software Engineering and Methodology (TOSEM). 2023, 32(4): 1-51. (CCF A)

l  Liping Han, Tao Yue, Shaukat Ali, Aitor Arrieta, and Maite Arratibel. Are Elevator Software Robust against Uncertainties? Results and Experiences from an Industrial Case Study. Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). 2022: 1331-1342. (CCF A)

l  Aitor Arrieta, Maialen Otaegi, Liping Han, Goiuria Sagardui, Shaukat Ali, and Maite Arratibel. Automating Test Oracle Generation in DevOps for Industrial Elevators. Proceedings of the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 2022: 284-288. (CCF B)

l  Pablo Valle, Aitor Arrieta, Liping Han, Shaukat Ali, and Tao Yue. Defining and Generating Multi-level and Uncertainty-wise Test Oracles for Cyber Physical Systems. Software and Systems Modeling (SOSYM). 2025: 1-26. (CCF B)