王彦闯 鄢萍 方向生 张延军 任峰 金鑫 孟祥涛 陈吕军 蒋凡 蔡强 刘锐 陶增乐 张永明 章烔民 冯雅丽 章炯民

自动化测试 Hopfield模型 测试用例集自动生成 划分问题 语法树 信息发布终端 PCA 神经网络 猪肉新鲜度 Job-Shop问题 电子鼻 人工神经网络 项目调度问题 套接口 气敏传感器 条件覆盖 装箱问题 层次化、结构化方法 TTCN-3编译器测试 Web功能测试 约束求解 自动机 编译器测试 组合优化 网络通信 背包问题 测试模型 测试工具 通信协议 流程

华东师范大学计算机科学系