《 符号执行和定量推理 》
- 软件工程
- 选题分类：软件工程
- 原版语种：英语（可提供图书翻译服务）
- 出版日期：2020年05月
- 页数：75页
- 图书定价：（不详）
- 开本：190mm×234mm
- 浏览次数：458
- 字数：（不详）
- 作品星级：
- 内文印刷：单色
申请样书样章
您正在通过本网站在线提交出版评估申请。
若您的申请获得通过，您将可以在线对本作品的电子样书进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
申请翻译样章
您正在通过本网站在线提交翻译样章申请。
若您的申请获得通过，您将可以在线对本作品的翻译样章进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
内容简介
此外，最近还扩展了符号执行的概率推理，允许对软件系统的定量属性进行推理。该方法计算达到目标程序感兴趣事件的条件，并使用模型计数来量化满足这些条件的输入域的分数，从而计算事件发生的概率。这种概率信息可以用来计算飞机控制器在不同风况下的可靠性(概率建模)，或者使用信息理论指标如香农熵来量化软件系统中的敏感数据泄漏。
本书是为对测试和验证软件系统的高级技术感兴趣的学生和软件工程师编写的。
作者介绍
ACM杰出的科学家，在美国宇航局艾姆斯研究中心工作。她的研究兴趣包括模型检查和自动化测试、组合验证、基于模型的开发、概率软件分析、机器学习的软件工程、自治和安全。她是多个奖项的获得者，包括ASE最具影响力的Pa-per奖（2018），ESEC/FSE时间测试奖（2018），ISSTA回顾性影响论文奖（2018），ACM影响论文奖（2010），ICSE2010最具影响力论文奖（2010）。她曾担任多个会议的项目或总主席，包括:FM 2021、ICST 2020、ISSTA2020、ESEC/FSE 2018、CAV 2015、ISSTA 2014、ASE 2011和NFM 2009。她目前是IEEE TSE杂志的副主编。
图书目录
Symbolic Execution: The Basics
Symbolic Complexity Analysis
Probabilistic Reasoning
Side-Channel Analysis
Conclusion and Directions for the Future
Bibliography
Author's Biography
请输入分享的Email地址：
