Improving Program Testing And Understanding Via Symbolic Execution
DOWNLOAD
Download Improving Program Testing And Understanding Via Symbolic Execution PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Improving Program Testing And Understanding Via Symbolic Execution book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Improving Program Testing And Understanding Via Symbolic Execution
DOWNLOAD
Author : Kin Keung Ma
language : en
Publisher:
Release Date : 2011
Improving Program Testing And Understanding Via Symbolic Execution written by Kin Keung Ma and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2011 with categories.
The Symbolic Execution Of Software
DOWNLOAD
Author : David Coward
language : en
Publisher:
Release Date : 1995
The Symbolic Execution Of Software written by David Coward and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1995 with Computers categories.
Improving Structural Testing Of Object Oriented Programs Via Intergrating Evolutionary Testing And Symbolic Execution
DOWNLOAD
Author : Kobina Kweenu Inkumsah
language : en
Publisher:
Release Date : 2008
Improving Structural Testing Of Object Oriented Programs Via Intergrating Evolutionary Testing And Symbolic Execution written by Kobina Kweenu Inkumsah and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2008 with categories.
Keywords: Structure coverage, Test generation.
Scaling And Certifying Symbolic Execution
DOWNLOAD
Author : Rui Qiu
language : en
Publisher:
Release Date : 2016
Scaling And Certifying Symbolic Execution written by Rui Qiu and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016 with categories.
Symbolic execution is a powerful, systematic program analysis approach that has received much visibility in the last decade. The key idea in symbolic execution is to explore all execution paths up to a bound on the path length, build path conditions that represent constraints on inputs that execute the corresponding paths, and solve the constraints using off-the-shelf constraint solvers to determine path feasibility (where possible). While systematic path exploration enables symbolic execution to find subtle bugs, scaling the approach remains a key challenge. Our thesis is that novel compositional, certifying, and distribution techniques can enhance the efficacy of symbolic execution. This dissertation designs, develops, and evaluates three techniques based on the primitives of composition, certification, and distribution in program analysis to enhance symbolic execution. Our composition technique CompoSE allows the overall symbolic execution results to be computed by composing intermediate results with respect to individual methods, rather than treating the entire program monolithically as is done traditionally. CompoSE first summarizes each method as a memoization tree that represents the key elements of symbolic execution of that method, and then uses these trees to efficiently replay the symbolic execution of the corresponding methods with respect to their calling contexts. The key novelty of CompoSE is that it allows composition in the presence of complex operations on the program heap. Our certification technique CertifiedSE allows symbolic execution analysis to be performed by one party, the producer, and utilized by another party, the consumer. The producer creates a certificate that can be checked efficiently by the consumer to validate the correctness of symbolic execution results. The key novelty of CertifiedSE is that it introduces the idea of certification in the context of symbolic execution, which enables a number of ways to enhance how symbolic execution is performed and used. Our distribution technique SynergiSE enhances symbolic execution in a novel two-fold integration approach. One, it integrates distributed analysis and constraint re-use to enhance symbolic execution using feasible ranges, which allows sharing of constraint solving results among different workers without communicating or sharing potentially large constraint databases (as required traditionally). Two, it integrates complementary techniques for test input generation, e.g., search-based generation and symbolic execution, for creating higher quality tests using unexplored ranges, which allows symbolic execution to re-use tests created by another technique for effective distribution of exploration of previously unexplored paths. The key novelty of Synergise is that it significantly reduces the amount of communication among different symbolic execution workers and enables an effective integration of heuristics-based and systematic approaches for test generation. We embody our techniques into prototypes based on the Symbolic PathFinder tool for analyzing Java programs. Experimental results using a variety of subjects show that our techniques can significantly improve symbolic execution.
Symbolic Execution And Quantitative Reasoning
DOWNLOAD
Author : Corina S. Păsăreanu
language : en
Publisher: Morgan & Claypool Publishers
Release Date : 2020-05-13
Symbolic Execution And Quantitative Reasoning written by Corina S. Păsăreanu and has been published by Morgan & Claypool Publishers this book supported file pdf, txt, epub, kindle and other format this book has been release on 2020-05-13 with Computers categories.
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 probability of event occurrence. This probabilistic information can be used for example to compute the reliability of an aircraft controller under different wind conditions (modeled probabilistically) or to quantify the leakage of sensitive data in a software system, using information theory metrics such as Shannon entropy. This book is intended for students and software engineers who are interested in advanced techniques for testing and verifying software systems.
Symbolic Execution And Program Testing
DOWNLOAD
Author : International Business Machines Corporation. Research Division
language : en
Publisher:
Release Date : 1974
Symbolic Execution And Program Testing written by International Business Machines Corporation. Research Division and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1974 with categories.
Assisting The Understanding Of Program Behavior By Using Symbolic Execution
DOWNLOAD
Author :
language : en
Publisher:
Release Date : 2008
Assisting The Understanding Of Program Behavior By Using Symbolic Execution written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2008 with categories.
Improving Software Testing
DOWNLOAD
Author : Tim A. Majchrzak
language : en
Publisher: Springer Science & Business Media
Release Date : 2012-02-03
Improving Software Testing written by Tim A. Majchrzak and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2012-02-03 with Business & Economics categories.
Software is continuously increasing in complexity. Paradigmatic shifts and new development frameworks make it easier to implement software – but not to test it. Software testing remains to be a topic with many open questions with regard to both technical low-level aspects and to the organizational embedding of testing. However, a desired level of software quality cannot be achieved by either choosing a technical procedure or by optimizing testing processes. In fact, it requires a holistic approach.This Brief summarizes the current knowledge of software testing and introduces three current research approaches. The base of knowledge is presented comprehensively in scope but concise in length; thereby the volume can be used as a reference. Research is highlighted from different points of view. Firstly, progress on developing a tool for automated test case generation (TCG) based on a program’s structure is introduced. Secondly, results from a project with industry partners on testing best practices are highlighted. Thirdly, embedding testing into e-assessment of programming exercises is described.
Applications Of Symbolic Execution To Program Testing
DOWNLOAD
Author : J. A. Darringer
language : en
Publisher:
Release Date : 1977
Applications Of Symbolic Execution To Program Testing written by J. A. Darringer and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1977 with categories.
Improving Scalability Of Symbolic Execution For Software With Complex Environment Interfaces
DOWNLOAD
Author :
language : en
Publisher:
Release Date : 2015
Improving Scalability Of Symbolic Execution For Software With Complex Environment Interfaces written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2015 with categories.