Journal ArticleDOI
Applications of symbolic evaluation
Reads0
Chats0
TLDR
The current and potential role of symbolic evaluation in verification, testing, debugging, optimization, and software development is explored.About:
This article is published in Journal of Systems and Software.The article was published on 1985-02-01. It has received 88 citations till now. The article focuses on the topics: Symbolic-numeric computation & Program analysis.read more
Citations
More filters
Book
Introduction to Software Testing
Paul Ammann,Jeff Offutt +1 more
TL;DR: In this paper, the authors define testing as the process of applying a few well-defined, general-purpose test criteria to a structure or model of the software, and present an innovative approach to explaining the process.
MonographDOI
Introduction to Software Testing: List of Figures
Paul Ammann,Jeff Offutt +1 more
TL;DR: The structure of the text directly reflects the pedagogical approach and incorporates the latest innovations in testing, including techniques to test modern types of software such as OO, web applications and embedded software.
Book ChapterDOI
Mutation 2000: uniting the orthogonal
TL;DR: This paper outlines a design for a system that will approximate mutation, but in a way that will be accessible to every day programmers, and believes this system could be efficient enough to be adopted by leading-edge software developers.
Proceedings ArticleDOI
Symbolic execution for software testing in practice: preliminary assessment
Cristian Cadar,Patrice Godefroid,Sarfraz Khurshid,Corina S. Păsăreanu,Koushik Sen,Nikolai Tillmann,Willem Visser +6 more
TL;DR: Symbolic execution is a program analysis technique introduced in the 70s that has received renewed interest in recent years, due to algorithmic advances and increased availability of computational power and constraint solving technology.
A Formal Evaluation of Data Flow Path Selection Criteria L.ClarkeAUTHOR:: Podgurski, A.
D. J. Richardson,S. J. Zeil +1 more
TL;DR: In this article, the authors conducted an empirical evaluation of a number of PATH SEL-ECTION CRITERIA based on data flow relationships and showed how they relate to each other.
References
More filters
Book
Art of Software Testing
TL;DR: Comprehensively covers psychological and economic principles, managerial aspects of testing, test tools, high-order testing, code inspections, and debugging, and programming students will find this reference work indispensible.
Book
The Art of Software Testing
TL;DR: The Art of Software Testing, Third Edition as discussed by the authors provides a brief but powerful and comprehensive presentation of time-proven software testing approaches, and is an investment that will pay for itself with the first bug you find.
Journal ArticleDOI
Program Slicing
TL;DR: Program slicing as mentioned in this paper is a method for automatically decomposing programs by analyzing their data flow and control flow. But it is not a technique for finding statement-minimal slices, as it is in general unsolvable, but using data flow analysis is sufficient to find approximate slices.
Journal ArticleDOI
Symbolic execution and program testing
TL;DR: A particular system called EFFIGY which provides symbolic execution for program testing and debugging is described, which interpretively executes programs written in a simple PL/I style programming language.
Book
A computational logic
TL;DR: This paper presents a meta-modelling simulation of the response of the immune system to changes in the environment through the course of natural selection.