潘鹏 杨攀宇 卢超 王静 谢晓东 毛澄映 洪亮 杨俊超 赵小松 赵锦芸 娄强 陈刚 雷波 刘震 李慧 金海 孙钢波 胡小华 王涛 刘孟仁 李震宇 丁晓锋 申建芳 赵栋 周金荣 饶丹 岳沛 瞿彬彬 陈锦富 罗威

框架 类测试 形式推理 网构软件 测试用例 安全异常 建模 分析与测试 移动对象数据库 可靠性 类间控制流图ICCFG K层可能居住区域 非约束边 构件安全 网络延迟 MAC EDF 内建式测试设计 计数 调度 图形文件 minmaxdist 隐私保护 限制非对称相似关系模型 相对决策强度 条件着色PETRI网 基于状态 软件构件 软件变异 不确定性

华中理工大学计算机系 华中科技大学计算机科学与技术学院 湖北武汉 江西财经大学软件学院 华中科技大学管理学院 华中科技大学计算机学院 湖北武汉430074江西财经大学软件学院... 中船重工集团第722研究所