王汝传 谭渊 肖德宝 张涌 徐中伟 谢晓东 魏蓉 钱乐秋 朱学俊 蒋凡 陈云芳 段成华 卢炎生 王渊峰 李弋强 李艳 郐吉丰 彭熙 喻钢 杨学刚 毛澄映 雷波

软件测试 区间削减 测试例 物流 安全因子 测试用例 系统建模 可执行性 测试序列生成 唯一输入输出序列 定义-清除路径 诱骗服务器 测试输入数据自动选取 测试例生成 定义-使用路径 自动订舱 通信扩展有限状态机 通信协议测试 一致性测试 有限状态机 数据流测试 类单元测试 分段梯度最优下降算法