基于程序分析的软件测试与错误定位技术
- ISBN:9787563569854
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 开本:26cm
- 页数:183页
- 出版时间:2023-08-01
- 条形码:9787563569854 ; 978-7-5635-6985-4
内容简介
本书共9章,其主要内容包括程序分析技术、符号执行技术、软件测试与错误定位技术、基于执行路径的*弱前置条件计算、基于后缀路径摘要的符号执行加速、基于反馈驱动的增量符号执行、级联式错误定位方法、演化软件错误定位方法和符号执行指导的并行程序分析。
目录
作者简介
易秋萍,女,北京邮电大学计算机学院(国家示范软件学院)特聘副研究员,工学博士。研究方向包括:系统软件安全、程序分析测试、软件错误定位与修复、并行程序分析验证。当前感兴趣的研究方向包括:基于AI技术与程序分析技术的有效结合,构建大规模程序分析验证平台;C++11并行程序分析验证方法及工具平台研发。于2016年在中科院软件研究所获得博士学位,随后到美国Texas A&M大学和Texas State大学做博士后。2020年10月,通过北京邮电大学“优秀人才计划”引进,任特聘副研究员、博士生导师。当前主持国家自然科学基金项目1项。在多个CCF A类国际顶级期刊/会议(ESEC/FSE、TSE、USENIX Security、ICSE、TOSEM)上发表多篇论文。曾担任CCF A类国际顶级会议(PLDI, CGO-PPoPP, ICSE, ISSTA, ICSE)的程序委员会委员或审稿人。
-
MySQL数据库案例教程
¥34.9¥49.8 -
软件工程导论——方法、工具和案例(题库·微课视频版)
¥34.9¥49.8 -
Java语言程序设计
¥66.5¥95.0 -
计算
¥92.2¥128.0 -
C语言程序设计
¥31.9¥45.5 -
KUKA(库卡)工业机器人编程与操作
¥59.3¥79.0 -
用户增长方法论:找到产品长盛不衰的增长曲线
¥60.5¥89.0 -
编译原理(第4版)/刘铭
¥24.8¥45.0 -
硅谷之火-人与计算机的未来
¥19.9¥39.8 -
中文版PHOTOSHOP 2024完全自学教程
¥83.9¥119.8 -
智能控制与强化学习先进值迭代评判设计
¥109.0¥139.8 -
实战数据可视化Excel篇
¥27.4¥49.8 -
人工智能应用基础(第2版)
¥32.7¥46.0 -
有限元基础与COMSOL案例分析
¥83.9¥119.8 -
企业AI之旅
¥43.5¥79.0 -
系统集成项目管理工程师教程(第3版
¥97.3¥139.0 -
可编程控制器系统应用编程(中级)
¥44.9¥59.8 -
Blender超级学习手册
¥83.9¥119.9 -
人工智能极简史
¥49.6¥68.0 -
利用PYTHON进行数据分析(原书第3版)
¥116.2¥149.0