林锦滨 陈意云 史桂红 刘宗田 张健 徐宝文 陈福安 邢熠 华保健 李力 高鹰 卢虹 朱逸芬 叶新铭 蒋凡 谢高岗

程序调试 数据类型恢复 代码迷惑 库函数模式识别 数据选择 程序分析 知识工程 协议一致性测试 恶意软件判定 数据覆盖 漏洞检测 统一语义模型 软件测试 静态分析 状态测试 反编译系统 程序变换 状态属性 Web应用 符号测试生成 字符串 状态图 C代码 模式识别 通路条件 反编译 C反编译 基于状态测试 程序路径