周晓宇 闫大顺 刘伟军 史亮 徐宝文 殷兆麟 牟春雷 赵红侠

比色法 接口定义语言 控制流图 数据流分析 Java 依赖性分析 异常传播 激光熔池 模型 Web服务 程序切片 异常处理 CORBA 温度场 程序分析 编译器 多Agent 健壮性 测温系统

中国矿业大学计算机科学与技术学院 江苏徐州 江苏南京 东南大学计算机科学与工程学院 中国矿业大学计算机科学与技术系 仲恺农业技术学院计算机科学与工程学院 江苏省软件质量研究所 江苏南京210096中国矿业大学计算机科...