刘艾
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
其他联系方式
暂无内容
科学研究
- Ai Liu,,Yang Liu,Lei Rao,Shaoying Liu,Zhibin Yang,Zhiqiu Huang.Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification:accepted by ISSRE 2025
- Min Zhou,,Zhibin Yang,Yong Zhou,Shuyi Yang,Ai Liu.Interactively Translating Real-world Software Requirements into Linear Temporal Logics with Large Language Models:accepted by QRS Companion,2025
- Kaicheng Shao,,Yuteng Lu,Ai Liu,Meng Sun.Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples:accepted by QRS 2025,2025
- Ai Liu,,Yang Liu,Shaoying Liu,Zhibin Yang.Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness.[C]:Proceedings of TASE 2025,2025:11-29
- Ai Liu,,Yang Liu,Shaoying Liu.TBFV4J: An Automated Testing-Based Formal Verification Tool for Java.[C]:ISSTA Companion '25: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis,2025:66-70
西安科技大学，计算机学院，2024.5.21：基于测试的形式验证：理论扩展与应用探索
北京大学，数学科学学院，2024.3.20：Applied Mathematics Seminar——基于测试的形式验证：理论扩展与应用探索
Guest Editor: Complex Engineering Systems, Topic: Advancements in Formal Methods for System Development (oaepublish.com)
PC Member：AISQ 2024 (at the ISSRE 2025 conference), SFPVV 2025, SFPVV 2024 (at the ICFEM 2024 conference), AISQ 2024 (at the ISSRE 2024 conference), FPDRE 2024 (at the QRS 2024 conference), MLiSE 2021 (at the ECML PKDD 2021 conference)
Workshop/Tutorial Chair： ICECCS 2022
PC Co-chair： SOFL+MSVL 2022 (at the ICFEM 2022 conference)
Review Editor: Frontiers in Computer Science
(Sub)-Reviewer of Journals：IEEE Transactions on Reliability, Frontiers of Computer Science, International Journal of Software Engineering and Knowledge Engineering, Science of Computer Programming
(Sub)-Reviewer of Conferences：FoSSaCS 2025, TASE, ISSRE, SEKE
Reviewer of Doctoral Thesis：Annamalai University
2024-11-04，刘少英，广岛大学教授，软件质量保障的基于测试的形式化验证方法。
2024-10-28，孙猛，北京大学教授，深度学习系统的可信性保障。
2024-05-17，张喜悦，牛津大学副研究员，神经网络的可证明原像下近似。
2024-05-17，官极，中科院软件所副研究员，可信量子机器学习算法——鲁棒性和公平性。
