贾晓霞 高仲仪 姚淑珍 刘雪梅 田丽从 刘超 陈起 柳永坡 李虎 孙昌爱 张俊安 张亮 任爱华 黄陇 刘冬懿 杨钦 兰雨晴 郭玉福 曹勇刚 曹会明 汪浩 晏海华 高静 赵长海 吴际 李诺 程丹 刘瑞刚 蔡强

软件测试 相似性检测 面向对象编程 模型存储 模型驱动测试 Delaunay三角化 文法测试 模式发现 内容管理系统 构件化 统计方法 程序行为累积分析 层次化系统 测试复杂性 自动生成 软件度量 上下文无关文法 概率 形式化方法 移植 算法 编译优化 程序语言 多处理机系统 变形算法 操作系统 合同 四维 Java语言 需求分析

北京航空航天大学计算机科学与工程系 北京航空航天大学计算机学院 北京城市学院软件学部 北京工商大学计算机学院