
包邮基于程序分析的软件测试与错误定位技术

- 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)的程序委员会委员或审稿人。
-
造神:人工智能神话的起源和破除 (精装)
¥32.7¥88.0 -
大数据技术导论(第2版)
¥28.9¥41.0 -
人工智能
¥20.3¥55.0 -
人人都能学AI
¥40.4¥68.0 -
数据结构基础(C语言版)(第2版)
¥41.7¥49.0 -
系统架构设计师教程(第2版)(全国计算机技术与软件专业技术资格(水平)考试指定用
¥102.7¥158.0 -
过程控制技术(第2版高职高专规划教材)
¥27.6¥38.0 -
WPS OFFICE完全自学教程(第2版)
¥97.3¥139.0 -
智能视频目标检测与识别技术
¥43.5¥59.0 -
人工智能基础及应用
¥36.0¥48.0 -
深入浅出软件架构
¥117.2¥186.0 -
工业互联网安全创新技术及应用
¥79.4¥128.0 -
计算机网络基础(微课版)
¥39.0¥55.0 -
零信任架构
¥62.4¥89.0 -
剪映:即梦AI绘画与视频制作从新手到高手
¥66.0¥89.0 -
红蓝攻防 技术与策略(原书第3版)
¥95.9¥139.0 -
Web前端开发基础
¥37.5¥57.0 -
软件设计的哲学(第2版)
¥52.0¥69.8 -
人工智能的底层逻辑
¥58.7¥79.0 -
软件工程理论与案例
¥63.4¥99.0