Dynamically Discovering Likely Program Invariants

Dynamically Discovering Likely Program Invariants (2000)

Cached

Download Links

[pag.csail.mit.edu]

by Michael D. Ernst

Citations:

77 - 13 self

BibTeX

@MISC{Ernst00dynamicallydiscovering,
    author = {Michael D. Ernst},
    title = {Dynamically Discovering Likely Program Invariants},
    year = {2000}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

2960	Artificial Intelligence: A Modern Approach. 2nd edn - Russell, Norvig - 2003
1412	The Temporal Logic of Reactive and Concurrent Systems - Manna, Pnueli - 1992
1310	A disciplne of programming - Dijkstra - 1976
1219	An axiomatic basis for computer programming - HOARE - 1969
1207	Symbolic Model Checking - McMillan - 1993
1130	The model checker SPIN - Holzmann - 1997
691	ATOM: A System for Building Customized Program Analys is Tools - Srivastava, Eustace - 1994
669	A Complexity Measure - McCabe - 1976
593	Partial Evaluation and Automatic Program Generation - Jones, Gomard, et al. - 1993
477	Points-to analysis in almost linear time - Steensgaard - 1996
472	Program Analysis and Specialization for the C Programming Language - Andersen - 1994
467	Dynamically discovering likely program invariants to support program evolution - Ernst, Cockrell, et al. - 2001
465	Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, et al. - 1999
439	The Science of Programming - Gries - 1981
439	Algorithmic Program Debugging - Shapiro - 1983
381	A Computational Logic Handbook - Boyer, Moore - 1988
375	Efficient ContextSensitive Pointer Analysis for C Programs - Wilson, Lam - 1995
360	Analysis of pointers and structures - CHASE, WEGMAN, et al. - 1990
312	A safe approximate algorithm for interprocedural aliasing - Landi, Ryder - 1992
286	Inductive inference: Theory and methods - ANGLUIN, SMITH - 1983
280	Designing programs that check their work - Blum, Kannan - 1995
276	T.: Model checking Java programs using Java PATHFINDER - Havelund, Pressburger - 2000
273	Extended static checking - Detlefs, Leino, et al. - 1998
272	Dependent types in practical programming - Xi, Pfenning - 1999
245	The design and implementation of a certifying compiler - Necula, Lee - 1998
215	Predicate Calculus and Program Semantics - Dijkstra, Scholten - 1990
203	An experimental evaluation of the assumptions of independence in multiversion programming - Knight, Leveson - 1986
187	Discovering models of software processes from event-based data - Cook, Wolf - 1998
186	Flow analysis and optimization of Lisplike structures - Muchnick, Jones - 1981
180	Chandy and Jayadev Misra. Parallel Program Design: A Foundation - Mani - 1988
178	Is it a tree, a dag, or a cyclic graph? a shape analysis for heap-directed pointers in c - Ghiya, Hendren - 1996
175	Unification-based pointer analysis with directional assignments - Das - 2000
162	Eliminating Array Bound Checking Through Dependent Types - Xi, Pfenning - 1998
154	Parallelizing programs with recursive data structures - Hendren, Nicolau - 1990
146	Static detection of dynamic memory errors - Evans - 1996
138	Version Spaces: An Approach to Concept Learning - Mitchell - 1978
134	Predicting Fault Incidence Using Software Change History - Graves, Karr, et al. - 2000
130	A practical approach to programming with assertions - Rosenblum - 1995
119	Context-insensitive alias analysis reconsidered - Ruf - 1995
113	Automatic SAT-compilation of planning problems - Ernst, Millstein - 1997
106	Quickly detecting relevant program invariants - Ernst, Czeisler, et al. - 2000
104	An industrial strength theorem prover for a logic based on common lisp - Kaufmann, Moore - 1997
101	Scienti c Discovery: Computational Explorations of the Creative Process - Langley, Simon, et al. - 1987
98	Lackwit: A program understanding tool based on type inference - O’Callahan, Jackson - 1997
96	Automatic program transformation with JOIE - Cohen, Chase, et al. - 1998
95	The Concept of Dynamic Analysis - Ball - 1999
92	Empirical studies of a safe regression test selection technique - Rothermel, Harrold - 1998
91	Software reliability via run-time result-checking - Wasserman, Blum - 1997
89	An Algorithmic Theory of Numbers, Graphs and Convexity - Lovasz - 1986
85	Powerful techniques for the automatic generation of invariants - BENSALEM, LAKHNECH, et al. - 1996