刘艾
硕士生导师
教师姓名：刘艾
教师拼音名称：Liu Ai
电子邮箱：
所在单位：计算机科学与技术学院/人工智能学院/软件学院
职务：Associate Professor
学历：博士毕业
性别：男
联系方式：shaoai@nuaa.edu.cn
学位：理学博士学位
职称：副教授
毕业院校：北京大学
所属院系：计算机科学与技术学院/软件学院
招生学科专业：
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
其他联系方式
暂无内容
论文成果
- Dingbang Fang,,Shaoying Liu,Ai Liu.Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction:IEEE Transactions on Reliability,2022,71(2):512 - 526
- Lei Rao,,Shaoying Liu,Ai Liu.Testing Program Segments to Detect Runtime Exceptions in Java:Proceedings of SOFL+MSVL 2022
- Yujun Dai,,Shaoying Liu,Guangquan Xu,Ai Liu.Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection:2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS)
- Jiandong Li,,Shaoying Liu,Ai Liu,Runhe Huang.Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures:2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)
- Haiyi Liu,,Shaoying Liu,Guangquan Xu,Ai Liu,Yujun Dai.Utilizing Testing-Based Formal Verification in Neural Networks: A Theoretical Approach:2023 13th International Conference on Software Technology and Engineering (ICSTE)
- Weng Jiang,,Shaoying Liu,Ai Liu.A Systematic Method for Identifying Safety-related Faults in Formal Specifications Using FTA:2022 13th International Conference on Reliability, Maintainability, and Safety (ICRMS)
- Pingyan Wang,,Shaoying Liu,Ai Liu,Weng Jiang.Detecting Security Vulnerabilities with Vulnerability Nets:2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)
- Dingbang Fang,,Shaoying Liu,Ai Liu.EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction:2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)
- Haiyi Liu,,Shaoying Liu,Ai Liu,Dingbang Fang,Guangquan Xu.Verifying and Improving Neural Networks Using Testing-Based Formal Verification:Proceedings of SOFL+MSVL 2022
- Pingyan Wang,,Shaoying Liu,Ai Liu,Fatiha Zaidi.A FRAMEWORK FOR MODELING AND DETECTING SECURITY VULNERABILITIES IN HUMAN-MACHINE PAIR PROGRAMMING:Journal of Internet Technology,2022,23(5):1129-1138
