张勇 张德运 段中兴 胡国栋 丁会宁 吴瞻 安智平 李庆海 高磊 管晓宏 刘伟娜 孙钦东 赵东平 李卫 肖健宇

跳完整性 状态空间缩减 状态检测 静态调度 代理 程序依赖图 任务模块化 本地性 委托管理 自适应散列 Linux 线性时序逻辑 B树 包分类 缓冲替换 时频分析 区间查找 程序条件化 区域化执行证据 流分组 循环-承载数据依赖 过程提取 K最近邻 队列管理 软件模型检测 网络管理 应用程序控制缓冲 符号化执行 程序模型检测 哈希表算法

710049西安 邵阳学院激光与信息研究所 湖南邵阳 西安交通大学电子与信息工程学院 西安交通大学西北网络中心 西安交通大学电子与信息工程学院网络研究所 西安安智科技有限公司