刘勇鹏 吴庆波 罗宇 胡昌华 卢锡城 金士尧 李铭 谭郁松 张英 唐宏伟 迟万庆 鲁珺 李根 粟明 商临锋 赵克佳 李东升 冯华

整数溢出 服务关系 操作系统 灰色预测 虚拟机技术 目标监控器 ICD 嵌入式系统 符号化执行 HTTP动态请求 动态自动测试用例生成 线程 虚拟化 运行环境 解决方案 Cache OpenSparc T2 MPP Socket复用 陀螺漂移 ROM仿真器 高危整数溢出错误 并行文件系统 网络通讯 经验模态分解 开发工具 Web服务器 预取 支持向量回归 OBP

国防科技大学计算机学院 国防科学技术大学计算机学院 国防科技大学计算机系 国防科学技术大学计算机科学系 第二炮兵工程学院302教研室 湖南长沙