郑延平 吴涛 刘波 王戟 王建辉 陈磊 毛新军 毛晓光 朱德森 隋平 齐治昌 顾树生 徐林 徐锡山 李梦君 赵常智 姬孟洛 王怀民 张宁 陈振邦 黄敏

覆盖度 抽象解释 丝光 单元测试用例 可替换性 变精度粗糙集 编译器优化 状态机 模型检验 问题分析 state chart pH值 软件可靠性模型 补偿 软件可靠性评估系统应用 值范围分析 statecharts 组合验证 模式识别 Junit 程序切片 并发 结构化建模 滴定 软件工程 接口 小波分析 冲突验证 相容性 UML

国防科技大学计算机学院 国防科学技术大学计算机学院 湖北武汉 湖南长沙 武汉通信指挥学院 国防科技大学计算机学院研究生队 东北大学信息科学与工程学院 华中科技大学控制科学与工程系