-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
深度学习
-
>
Unreal Engine 4蓝图完全学习教程
-
>
深入理解计算机系统-原书第3版
-
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)
基于程序分析的软件测试与错误定位技术 版权信息
- ISBN:9787563569854
- 条形码: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)的程序委员会委员或审稿人。
- >
二体千字文
二体千字文
¥14.0¥40.0 - >
山海经
山海经
¥22.7¥68.0 - >
月亮虎
月亮虎
¥15.4¥48.0 - >
莉莉和章鱼
莉莉和章鱼
¥16.0¥42.0 - >
李白与唐代文化
李白与唐代文化
¥12.5¥29.8 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥20.6¥48.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
回忆爱玛侬
回忆爱玛侬
¥10.5¥32.8
-
详解Spring Boot(从入门到企业级开发实战)/孙鑫精品图书系列
¥64.2¥129 -
PYTHON应用与实战
¥52.9¥79.8 -
Python编程与数值方法
¥79.6¥109 -
Go语言从入门到项目实战(视频版)
¥60.4¥108 -
软件设计师
¥14.2¥38 -
GO语言编程从入门到实践
¥75.6¥108