思维导图备注

基于程序分析的软件测试与错误定位技术
首页 收藏书籍 阅读记录
  • 书签 我的书签
  • 添加书签 添加书签 移除书签 移除书签

目录

浏览 1 扫码
  • 小字体
  • 中字体
  • 大字体
2025-03-25 07:11:32
请 登录 再阅读
上一篇:
下一篇:
  • 书签
  • 添加书签 移除书签
  • 书名页
  • 版权页
  • 内容简介
  • 前　言
  • 目录
  • 第1章　程序分析技术
  • 第2章　符号执行技术
  • 第3章　软件测试与错误定位技术
  • 第4章　基于执行路径的最弱前置条件计算
  • 第5章　基于后缀路径摘要的符号执行加速
  • 第6章　基于反馈驱动的增量符号执行
  • 第7章　级联式错误定位方法
  • 第8章　演化软件错误定位方法
  • 第9章　符号执行指导的并行程序分析
  • 参考文献
暂无相关搜索结果！
    展开/收起文章目录

    二维码

    手机扫一扫，轻松掌上学

    《基于程序分析的软件测试与错误定位技术》电子书下载

    请下载您需要的格式的电子书，随时随地，享受学习的乐趣！
    EPUB 电子书

    书签列表

      阅读记录

      阅读进度: 0.00% ( 0/0 ) 重置阅读进度