王慧妍，现任南京大学软件学院助理教授，博士生导师。个人主要研究方向为智能化软件工程、泛在操作系统数据保障、以及软件开发工具链研究等。在TSE、ICSE、ESEC/FSE、ISSRE等国内外优秀期刊或会议上发表学术论文10余篇，获2022年度江苏省计算机学会优秀博士学位论文奖。担任ICSE2025、SANER2024、ASE2023等会议程序委员会成员与TOSEM、TSE等国际期刊审稿专家。主持国家自然科学基金青年项目与江苏省青年基金项目，参与国家重点研发计划课题与自然科学基金重点项目等。

招生信息：欢迎有志攻读开放环境软件保障、软件环境管理、复杂软件运维等相关方向博士或硕士学位的同学与我联系。请将个人简历和研究规划发送至why@nju.edu.cn。

个人主页：http://www.why.ink:8080/

合作课题组：计算机软件研究所

Selected publications:

[SANER2024] Mingchen Gao, Huiyan Wang*, and Chang Xu. Testing Constraint Checking Implementations via Principled Metamorphic Transformations. Proceedings of the 31st IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2024), Rovaniemi, Finland, Mar 2024.[acceptance rate: 25.6%][pdf]

[JSS2024] Lingyu Zhang, Huiyan Wang*, Chuyang Chen, Chang Xu, and Ping Yu. Incremental-Concurrent Fusion Checking for Efficient Context Consistency. The Journal of Systems and Software (JSS), Volume 207, Article 111852, Jan 2024.[pdf]

[ESEC/FSE2023] Huiyan Wang, Shuguan Liu, Lingyu Zhang, and Chang Xu. Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints. in Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023), pp. 198-210, San Francisco, California, USA, Dec 2023.[acceptance rate: 27.0%][pdf]

[ASEJ2023] Huiyan Wang, Ziqi Chen, and Chang Xu. Freeze-and-Mutate: Abnormal Sample Identification for DL Applications through Model Core Analysis. Journal of Automated Software Engineering (ASEJ), Vol. 30, Article 9, Jan 2023.[pdf]

[ISSRE2022] Chuyang Chen, Huiyan Wang*, Lingyu Zhang, Chang Xu, and Ping Yu. Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection. in Proceedings of the 38th IEEE International Symposium on Software Relibability Engineering (ISSRE 2022), pp. 13-24, Charlotte, North Carolina, USA, Oct 2022.[acceptance rate: 29.0%][pdf][best paper candidate]

[ICSME2022] Lingyu Zhang, Huiyan Wang*, Chang Xu, and Ping Yu. INFUSE: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion. in Proceedings of the 38th International Conference on Software Maintenance and Evolution (ICSME 2022), pp. 187-198, Limassol, Cyprus, Oct 2022.[acceptance rate: 23.5%][pdf]

[TSE2021] Huiyan Wang, Chang Xu, Bingying Guo, Xiaoxing Ma, and Jian Lu, Generic Adaptive Scheduling for Efficient Context Inconsistency Detection, IEEE Transactions on Software Engineering, Vol. 47, Iss. 3, pp. 464-497, Mar 2021.[pdf]

[ICSE2020] Huiyan Wang, Jingwei Xu, Chang Xu, Xiaoxing Ma, and Jian Lu, DISSECTOR: Input Validation for Deep Learning Applications by Crossing-layer Dissection, in Proceedings of the 42nd ACM/IEEE International Conference on Software Engineering (ICSE), pp. 727-738, Seoul, South Korea, May 2020.(acceptance rate: 20.9%)[pdf]