| 書目名稱 | Symbolic Execution and Quantitative Reasoning | | 副標題 | Applications to Soft | | 編輯 | Corina S. Pasareanu | | 視頻video | http://file.papertrans.cn/884/883827/883827.mp4 | | 叢書名稱 | Synthesis Lectures on Software Engineering | | 圖書封面 |  | | 描述 | .This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems. Symbolic execution is a systematic program analysis technique which explores multiple program behaviors all at once by collecting and solving symbolic constraints collected from the branching conditions in the program. The obtained solutions can be used as test inputs that execute feasible program paths. Symbolic execution has found many applications in various domains, such as security, smartphone applications, operating systems, databases, and more recently deep neural networks, uncovering subtle errors and unknown vulnerabilities. We review here the technique has also been extended to reason about algorithmic complexity and resource consumption...Furthermore, symbolic execution has been recently extended with probabilistic reasoning, allowing one to reason about quantitative properties of software systems. The approach computes the conditions to reach target program events of interest and uses model counting to quantify the fraction of the input domain satisfying these conditions thus computing the probab | | 出版日期 | Book 2020 | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-031-02551-8 | | isbn_softcover | 978-3-031-01423-9 | | isbn_ebook | 978-3-031-02551-8Series ISSN 2328-3319 Series E-ISSN 2328-3327 | | issn_series | 2328-3319 | | copyright | Springer Nature Switzerland AG 2020 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 14:40
發(fā)表于 2025-3-21 19:14:32
