张健研究员获 QRS 二十五周年特别荣誉奖（Special Recognition Award）

SQuARE 组员张健研究员，荣获 IEEE 软件质量、可靠性与安全国际会议（QRS）颁发的 “特别荣誉奖”（Special Recognition Award）。该奖项为 QRS 会议二十五周年特别设立，旨在表彰在过去 25 年中，于 QRS 发表多篇论文并为软件质量研究与应用做出重要贡献的学者。根据 QRS 组委会介绍，该奖项旨在肯定张健研究员在程序分析和测试数据生成领域发表于该会议系列（包括其前身 QSIC、SERE 和 APAQS）的工作。

组委会引述的具体贡献包括：

• APAQS 2000 & IJSEKE 2001: 发表关于通过求解布尔与数值组合约束进行规约分析与测试数据生成的论文，并介绍了其 BoNuS 工具。
• APAQS 2001: 提出了一种用于检测无限循环的路径分析方法，为程序不终止问题建立了一个充分条件。
• QSIC 2006: 与其博士生许中兴共同开发了一款 C 语言测试数据生成工具，该工具采用符号执行与约束求解技术，在 GNU CoreUtils 等基准测试上达到了高代码覆盖率。
• QSIC 2008: 与许中兴共同提出了一种路径与上下文敏感的跨过程内存泄漏检测技术，并用于在开源软件中发现缺陷。

除研究工作外，组委会也提及了张健研究员为会议提供的服务。他曾担任 QSIC 2003 的组织委员会联合主席、QRS 2015 的程序委员会联合主席，并任 SERE 2014 的主旨演讲嘉宾，同时多次担任 QRS/QSIC 程序委员会委员。