张健研究员获 QRS 二十五周年特别荣誉奖

张健研究员荣获 IEEE 软件质量、可靠性与安全国际会议（QRS）颁发的“特别荣誉奖”，以表彰其在程序分析与测试数据生成领域的长期贡献。