我所一篇变异分析的工作被CCF A类期刊IEEE TSE录用

发布时间：2026年11月3日

       近日，我所一篇论文"Faster Mutation Analysis via Hybrid Static–Dynamic Analysis"被软件工程领域国际顶级期刊IEEE Transactions on Software Engineering（TSE）录用。IEEE TSE是中国计算机学会（CCF）推荐的A类国际期刊，也是软件工程领域创刊最早、影响力最为深远的学术期刊之一。该论文由我所王博老师担任第一作者，与邓明、林友芳老师，美国华盛顿大学博士生卢思睿，以及北京大学熊英飞老师共同完成。

      该论文针对变异分析（Mutation Analysis）计算开销大、可扩展性不足的问题，提出了一种结合静态与动态分析的高效变异分析方法 WinMut-Turbo。该方法通过扩大状态分析范围、减少冗余解释执行以及提前终止无效执行等技术，显著提高了变异分析效率。

      研究团队在10个大型真实C语言项目上开展实验，涉及超过2000万个变异体和1149个测试用例。实验结果表明，相比现有先进方法 AccMut，WinMut-Turbo 实现了 9.7倍的几何平均加速比，为大规模软件测试与分析提供了更高效的技术支持。