小组研究成果被评选为IEEE会议ICST 2021 最佳论文


清华大学软件系统安全保障小组研究成果"Poster: Fuzz Testing of Quantum Program"被会议 IEEE International Conference on Software Testing, Verification and Validation 接收并评选为最佳论文。

该论文首次提出针对量子程序的模糊测试,利用基于搜索的算法来触发程序中一些量子敏感的路径。与传统的测试量子程序的工作相比,该论文提出的方法可以提高20%-60%的分支覆盖率。该工作由小组成员王济远、马福辰和姜宇教授共同完成。