北京科技大学计算机与通信工程学院-张逍怡

当前位置：首页>师资队伍

教师详情

个人信息

张逍怡

Zhang XiaoYi

系      所：

|计算机科学与技术系|

职      称：

副教授否

职      务：

办公地点：

方兴713

办公电话：

电子邮箱：

xiaoyi@ustb.edu.cn

本科课程：

软件工程, 软件测试, 软件工程课程设计

研究生课程：

科研方向：

软件测试, 复杂智能系统的测试与分析, 软件错误定位与分析, 深度神经网络测试与修复, 强化学习的测试

学术与社会兼职：

著名学术会议ISSRE、QRS、ICECCS的PC委员, 顶级期刊TDSC、IEEE TR等审稿人, 可信计算workshop DCCS, DelS主席, 日本国立情报学研究所访问助理教授。
简历

长期从事复杂智能系统测试与调试工作，具体包括：1）自动驾驶系统的测试充分性准则与测试场景生成方法，2）对自动驾驶系统的失效进行分析，3）研究对多智能体规划算法的测试与分析，4）复杂深度学习模型的分析与修复。

目前共发表论文 50 余篇，其中多篇被IEEE Transactions on Dependable and Secure Computing、IEEE Transactions on Reliability、IEEE/ACM International Conference on Automated Software 等高水平期刊和国际会议收录。2018-2022年在日本国立情报学研究所担任特任研究员与助理教授，参与了日本ERATO MMSD以及eAI Mirai等自动驾驶与人工智能相关的大型研究项目，目前仍以访问助理教授身份享受日本国立情报学研究所的访问资助。

与日本国立情报学研究所、日本九州大学等国外著名研究机构的优秀学者保持着经常性地学术交流，并与相关研究团队共同指导博士生和硕士生。曾受邀参加日本的著名的信息学研讨会——湘南会议，与海内外知名学者讨论软件工程的高级议题，共同参与各种研究项目。
代表性论文

1. Xiaoyan Zhu, Mingyue Jiang, Xiao-Yi Zhang, Liming Nie, and Zuohua Ding. "MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems". The ACM International Conference on the Foundations of Software Engineering (FSE24), accepted. (CCF A)

2. Zhang, Xiao-Yi, Paolo Arcaini, and Fuyuki Ishikawa. "An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner." IEEE Transactions on Dependable and Secure Computing (2023) (CCF A)

3. Mingyue Jiang, Chengjian Tang, Xiao-Yi Zhang, Yangyang Zhao and Zuohua Ding. Automated Image Reduction for Explaining black-box classifiers. IEEE International Conference on Software Analysis, Evolution and Reengineering. SENAR 2023 (会议的杰出论文奖) (CCF B)

4. Liu, Yang, and Xiao-Yi Zhang*. "Adaptive Random Testing for Multiagent Path Finding Systems." IEEE Transactions on Reliability 71, no. 1 (2022): 295-308. (中科院Q1)

5. Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie. Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), (pp. 279-291). IEEE, 2021. （CCF A）

6. Duran, Matias, Xiao-Yi Zhang, Paolo Arcaini, and Fuyuki Ishikawa. "What to Blame? On the Granularity of Fault Localization for Deep Neural Networks." In 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE), pp. 264-275. IEEE, 2021. （CCF B）

7. Xiao-Yi Zhang and Mingyue Jiang. SPICA: a Methodology for Reviewing and Analysing Fault Localisation Techniques. In 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME) (pp. 366-377).

8. Ichiro Hasuo, Cloviss Eberhart, James Haydon, Jeremy Dubut, Brandon Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Krik Andre Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, and Takamasa Suetomi. Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Transactions on Intelligent Vehicles. 2022 (CCF A)

9. Xiao-Yi Zhang, Zheng Zheng, and Kai-Yuan Cai. "Exploring the usefulness of unlabelled test cases in software fault localization." Journal of Systems and Software 136 (2018): 278-290. (CCF B)

10. Xiao-Yi Zhang, Zheng Zheng, and Kai-Yuan Cai. "A Fortification Model for Decentralized Supply Systems and Its Solution Algorithms." IEEE Transactions on Reliability 67, no. 1 (2018): 381-400. (中科院 Q1）
科研业绩

1. 国自然青基(2024-今)：面向多自动驾驶系统交互的测试与安全性分析方法，主持

2. ERATO Metamathematics for Systems Design Project （2016-2022，日本JST），参与

3. Engineerable AI Techniques for Practical Applications of High-Quality Machine Learning-based Systems（2021-今，日本JST）
获得奖励/专利

曾两次被日本OR学会信赖性（可靠性）学会邀请为「可靠性及其应用」研究部会的特邀讲师。曾获得复杂系统知名会议ICECCS19，以及软工领域著名会议SANER23的杰出论文奖。