Page 91 - 《软件学报》2026年第6期

2410 软件学报 2026 年第 37 卷第 6 期

http://www.jos.org.cn/1000-9825/7358.htm [doi: 10.13328/j.cnki.jos.007358]
[4] 韩柳彤, 张洪滨, 邢明杰, 武延军, 赵琛. 面向 RISC-V 向量扩展的高性能算法库优化方法. 软件学报, 2025, 36(9): 3985–4005. http://
www.jos.org.cn/1000-9825/7360.htm [doi: 10.13328/j.cnki.jos.007360]
[7] 谷典典, 石屹宁, 刘譞哲, 吴格, 姜海鸥, 赵耀帅, 马郓. 基于元算子的深度学习框架缺陷检测方法. 计算机学报, 2022, 45(2):
240–255. [doi: 10.11897/SP.J.1016.2022.00240]
[12] 徐学政, 杨德亨, 王璐, 王涛, 黄安文, 李琼. RISC-V 内存一致性模型的同地址顺序一致性定理证明. 软件学报, 2025, 36(9):
3919–3936. http://www.jos.org.cn/1000-9825/7292.htm [doi: 10.13328/j.cnki.jos.007292]
[13] 李传东, 衣然, 罗英伟, 汪小林, 王振林. RISC-V 架构下的懒惰影子页表模型. 软件学报, 2025, 36(9): 3970–3984. http://www.jos.org.
cn/1000-9825/7359.htm [doi: 10.13328/j.cnki.jos.007359]
[19] 马祥跃, 杜晓婷, 采青, 郑阳, 胡崝, 郑征. 深度学习框架测试研究综述. 软件学报, 2024, 35(8): 3752–3784. http://www.jos.org.cn/1000-
9825/7059.htm [doi: 10.13328/j.cnki.jos.007059]
[25] 葛建, 虞慧群, 范贵生, 唐锏浩, 黄子杰. 面向智能计算框架的即时缺陷预测. 软件学报, 2023, 34(9): 3966–3980. http://www.jos.org.
cn/1000-9825/6874.htm [doi: 10.13328/j.cnki.jos.006874]

作者简介
刘佳玮, 博士, CCF 专业会员, 主要研究领域为智能软件测试, 算子测试.
高岩, 硕士生, 主要研究领域为深度学习算子测试.
张犬俊, 博士, 教授, CCF 专业会员, 主要研究领域为软件测试, 程序修复, 代码智能体.
尚也, 博士生, CCF 学生会员, 主要研究领域为程序修复, 代码智能体.
房春荣, 博士, 副教授, 博士生导师, CCF 高级会员, 主要研究领域为智能软件工程, 大代码, AI 测试.
陈振宇, 博士, 教授, 博士生导师, CCF 杰出会员, 主要研究领域为群体智能, 深度学习测试和优化, 大数据质量, 移动应用测试.