杨丽洁 杜英军 唐宇 付剑晶 左怀玉 张巨萍 萨智海 叶新铭 王春雷 景宁 王珂 李华 王俊义 郭景峰 刘明业 吴建国 陈火炎 邱英汉 陈荦

过程模型 Java 内在因素 Kaffe 测试生成 非结构性 语法分析 扩展分层有限状态机（EHFSM） JVM 程序图 VHDL 综合 数据流 分布式 代码迷惑 投影图 测试路径 源码 有限状态自动机 时序依赖 控制器综合 邻接矩阵 交叉控制 空间服务组合 有向图 Petri网 语义分析