The Daikon system for dynamic detection of likely invariants
Michael D. Ernst,Jeff H. Perkins,Philip J. Guo,Stephen McCamant,Carlos Pacheco,Matthew S. Tschantz,Chen Xiao +6 more
Reads0
Chats0
TLDR
Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon invariant detector reports likely program invariants, a property that holds at a certain point or points in a program.About:
This article is published in Science of Computer Programming.The article was published on 2007-12-01 and is currently open access. It has received 1040 citations till now. The article focuses on the topics: Invariant (mathematics).read more
Citations
More filters
Book ChapterDOI
Pex: white box test generation for .NET
TL;DR: Pex automatically produces a small test suite with high code coverage for a .NET program by performing a systematic program analysis using dynamic symbolic execution, similar to path-bounded model-checking, to determine test inputs for Parameterized Unit Tests.
Proceedings ArticleDOI
Software Testing Research: Achievements, Challenges, Dreams
TL;DR: A consistent roadmap of the most relevant challenges to be addressed in software testing research is proposed, constituted by some important past achievements, while the destination consists of four identified goals to which research ultimately tends, but which remain as unreachable as dreams.
Journal ArticleDOI
The Oracle Problem in Software Testing: A Survey
TL;DR: This paper provides a comprehensive survey of current approaches to the test oracle problem and an analysis of trends in this important area of software testing research and practice.
Proceedings ArticleDOI
Automatically patching errors in deployed software
Jeff H. Perkins,Sunghun Kim,Sam Larsen,Saman Amarasinghe,Jonathan Bachrach,Michael Carbin,Carlos Pacheco,Frank Sherwood,Stelios Sidiroglou,Greg Sullivan,Weng-Fai Wong,Yoav Zibin,Michael D. Ernst,Martin Rinard +13 more
TL;DR: Aspects of ClearView that make it particularly appropriate for this context include its ability to generate patches without human intervention, apply and remove patchesto and from running applications without requiring restarts or otherwise perturbing the execution, and identify and discard ineffective or damaging patches by evaluating the continued behavior of patched applications.
Journal ArticleDOI
Addressing failures in exascale computing
Marc Snir,Robert W. Wisniewski,Jacob A. Abraham,Sarita V. Adve,Saurabh Bagchi,Pavan Balaji,James Belak,Pradip Bose,Franck Cappello,Bill Carlson,Andrew A. Chien,Paul W. Coteus,Nathan DeBardeleben,Pedro C. Diniz,Christian Engelmann,Mattan Erez,Saverio Fazzari,Al Geist,Rinku Gupta,Fred Johnson,Sriram Krishnamoorthy,Sven Leyffer,Dean A. Liberty,Subhasish Mitra,Todd Munson,Robert Schreiber,Jon Stearley,Eric Van Hensbergen +27 more
TL;DR: This report presents a report produced by a workshop on ‘Addressing failures in exascale computing’ held in Park City, Utah, 4–11 August 2012, which summarizes and builds on discussions on resilience.
References
More filters
Proceedings ArticleDOI
Extended static checking for Java
TL;DR: The Extended Static Checker for Java (ESC/Java) is introduced, an experimental compile-time program checker that finds common programming errors and provides programmers with a simple annotation language with which programmer design decisions can be expressed formally.
Proceedings ArticleDOI
Dynamically discovering likely program invariants to support program evolution
TL;DR: This paper describes techniques for dynamically discovering invariants, along with an instrumenter and an inference engine that embody these techniques, and reports on the application of the engine to two sets of target programs.
Journal ArticleDOI
Dynamically Discovering Likely Program Invariants to Support Program Evolution
TL;DR: In this paper, the authors describe techniques for dynamically discovering invariants, along with an implementation, named Daikon, that embodies these techniques, and demonstrate that, at least for small programs, invariant inference is both accurate and useful.
Journal ArticleDOI
Discovering models of software processes from event-based data
Jonathan Cook,Alexander L. Wolf +1 more
TL;DR: In this article, the authors describe a Markov method for process discovery, as well as two additional methods that are adopted from other domains and augmented for their purposes, and compare the methods and discuss their application in an industrial case study.
Journal ArticleDOI
Simplify: a theorem prover for program checking
TL;DR: The article describes two techniques, error context reporting and error localization, for helping the user to determine the reason that a false conjecture is false, and includes detailed performance figures on conjectures derived from realistic program-checking problems.