闫伟 谢晓东 卢炎生 毛澄映 顾海波

异常处理 扩展语义树 基于状态的类测试 分析与测试 覆盖准则 复合事件 静态分析 控制流图 聚类分析 主动数据库 测试驱动器 形式推理 结构性测试

华中科技大学计算机科学与技术学院 湖北武汉430074江西财经大学软件学院... 江西财经大学软件学院 湖北武汉