程绍银 邢学智 谈刚 章磊 向清如 张晓菲 张辉 李玉林 林锦滨 王嘉捷 李刚 张光玮 宗浩 冯定胜 王一丁 刘可 卢挺 张丽珍

韧性[31DA] 生态学 测试生成 缺陷发现 TTCN-3 模型驱动测试 补丁 陶瓷[87CB] 回归测试 符号执行 语言转换 破坏 测试执行器 C 抗震性能 软件演进 强度[31DA] 模拟 UML 斜柱转换 钢筋混凝土 编译器 符号表 啮齿动物 静态分析 软件缺陷 约束求解 框支剪力墙 按需符号执行 水稻

中国科学技术大学计算机科学技术系 安徽合肥 中国科学技术大学计算机科学与技术系 91级学生 重庆大学土木工程学院 中国信息安全产品测评认证中心 铁道部第四勘察设计院 四川师范大学