张林波 李基凯 李玉成 韩承德 张辉 李舒 卢慧琼

时序测试 并行 测试覆盖率 同步序列 并行程序 软件测试 关键点 同步事件

中国科学院软件研究所 中国科学院计算技术研究所高性能中心 中国科学院计算数学与科学工程计算研究所 中国科学院软件研究所并行软件研究开发中心 中国科学院计算技术研究所国家高性能计算机...