The Daikon system for dynamic detection of likely invariants

The Daikon system for dynamic detection of likely invariants (2006)

Cached

Download Links

by Michael D. Ernst , Jeff H. Perkins , Philip J. Guo , Stephen McCamant , Carlos Pacheco , Matthew S. Tschantz , Chen Xiao

Citations:

89 - 8 self

BibTeX

@MISC{Ernst06thedaikon,
    author = {Michael D. Ernst and Jeff H. Perkins and Philip J. Guo and Stephen McCamant and Carlos Pacheco and Matthew S. Tschantz and Chen Xiao},
    title = { The Daikon system for dynamic detection of likely invariants},
    year = {2006}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon invariant detector reports likely program invariants. An invariant is a property that holds at a certain point or points in a program; these are often used in assert statements, documentation, and formal specifications. Examples include being constant (x = a), non-zero (x ̸ = 0), being in a

Citations

467	Dynamically discovering likely program invariants to support program evolution - Ernst, Cockrell, et al. - 2001
455	Extended static checking for Java - Flanagan, Leino, et al.
296	Simplify: a theorem prover for program checking - Detlefs, Nelson, et al.
247	Tracking down software bugs using automatic anomaly detection - Hangal, Lam - 2002
232	Mining specifications - Ammons, Bodík, et al. - 2002
193	Bug isolation via remote program sampling - Liblit, Aiken, et al. - 2003
187	Discovering models of software processes from event-based data - Cook, Wolf - 1998
171	JML: a notation for detailed design - Leavens, Baker, et al. - 1999
132	Predicting Fault Incidence Using Software Change History - Graves, Karr, et al. - 2000
123	Automatic extraction of objectoriented component interfaces - Whaley, Martin, et al. - 2002
91	Eclat: Automatic generation and classification of test inputs - Pacheco, Ernst - 2005
85	Perracotta: Mining Temporal API Rules from Imperfect Traces - Yang, Evans, et al. - 2006
75	Improving test suites via operational abstraction - Harder, Mallen, et al. - 2003
71	W.: What Went Wrong: Explaining Counterexamples - Groce, Visser - 2003
68	Discovering Algebraic Specifications from Java Classes - Henkel, Diwan - 2003
56	Automatic generation of program specifications - Nimmer, Ernst
56	Invariant inference for static checking: An empirical evaluation - Nimmer, Ernst - 2007
52	Finding Latent Code Errors via Machine Learning over Program Executions - Brun, Ernst - 2004
52	Event-based detection of concurrency - Cook, Wolf - 1998
45	Tool-assisted unit test selection based on operational violations - Xie, Notkin - 2003
39	Semantic anomaly detection in online data sources - Raz, Koopman, et al. - 2002
36	The use of self checks and voting in software error detection: an empirical study - Leveson, Cha, et al. - 1990
35	Automated fault localization using potential invariants - Pytlik, Renieris, et al. - 2003
35	Efficient incremental algorithms for dynamic detection of likely invariants - Perkins, Ernst - 2004
34	From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing - Boshernitsan, Doong, et al. - 2006
27	Inference and enforcement of data structure consistency specifications - Demsky, Ernst, et al. - 2006
23	Dynamic inference of abstract types - Guo, Perkins, et al. - 2006
23	Using simulated execution in verifying distributed algorithms - Win, Ernst, et al. - 2004
20	Early identification of incompatibilities in multi-component upgrades - McCamant, Ernst
16	A Tool for Writing and Debugging Algebraic Specifications - Henkel, Diwan - 2004
13	A new structural coverage criterion for dynamic detection of program invariants - Gupta, Heidepriem
11	Does imperfect debugging affect software reliability growth - Ohba, Chou - 1989
10	Checking Inside the Black Box: Regression Testing Based - Xie, Notkin - 2004
9	A technique for verifying component-based software, TACoS - Mariani, Pezzè - 2004
9	Improving adaptability via program steering - Lin, Ernst - 2004
8	Iodine: a tool to automatically infer dynamic invariants for hardware designs - Hangal, Chandra, et al.
7	Selecting, refining, and evaluating predicates for program analysis - Dodoo, Lin, et al. - 2003
4	Jtest version 4.5. http://www.parasoft.com - Corporation
4	Extended static checking for Java. PLDI - Flanagan, Leino, et al. - 2002
3	Improving test suites via operational abstraction. ICSE - Harder, Mellen, et al. - 2003
2	evaluating predicates for program analysis - Dodoo, Lin, et al. - 2003
1	Automatic detection of invariants - Vaziri, Holzmann - 1998
1	Dynamic inference of abstract types, ISSTA - Guo, Perkins, et al. - 2006
1	Bug isolation via remote program sampling, PLDI - Liblit, Aiken, et al. - 2003
1	Automatic generation of program specifications, ISSTA - Nimmer, Ernst - 2002
1	Improving adaptability via program steering, ISSTA (2004) 206–216. Ernst et al - Lin, Ernst
1	A tool for writing and debugging algebraic specifications, ICSE - Henkel, Diwan - 2004
1	Event-based detection of concurrency, FSE - Cook, Wolf - 1998