Documents Related by Co-Citation

544 Dynamically discovering likely program invariants to support program evolution – Michael D. Ernst, Jake Cockrelit, William G. Griswoldt, David Notkint - 2001
289 Mining Specifications – Glenn Ammons, Rastislav Bodik, James R. Larus - 2002
48 Tool-assisted unit test selection based on operational violations – Tao Xie, David Notkin - 2003
141 Automatic Extraction of Object-Oriented Component Interfaces – John Whaley, Michael Martin, Monica Lam - 2002
86 Improving Test Suites via Operational Abstraction – Michael Harder, Jeff Mellen, Michael D. Ernst - 2003
290 Tracking Down Software Bugs Using Automatic Anomaly Detection – Sudheendra Hangal, Monica S. Lam - 2002
278 Korat: Automated testing based on Java predicates – Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov - 2002
390 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
64 Automatic Generation of Program Specifications – Jeremy W. Nimmer, Michael D. Ernst - 2002
448 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
150 The ASTOOT approach to testing object-oriented programs – Phyllis G. Frankl - 1994
109 Eclat: Automatic generation and classification of test inputs – Carlos Pacheco, Michael D. Ernst - 2005
42 Efficient Incremental Algorithms for Dynamic Detection of Likely Invariants – Jeff H. Perkins, Michael D. Ernst - 2004
58 Invariant Inference for Static Checking: An Empirical Evaluation – Jeremy W. Nimmer, Michael D. Ernst - 2002
24 Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects – Merlin Hughes, David Stotts - 1996
17 A Tool for Writing and Debugging Algebraic Specifications – J. Henkel, A. Diwan - 2004
86 D.: Rostra: A framework for detecting redundant objectoriented unit tests – Tao Xie, Darko Marinov, David Notkin - 2004
115 Symstra: A framework for generating object-oriented unit tests using symbolic execution – Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin - 2005
13 Generating Test Data for Dynamically Discovering Likely Program Invariants. Workshop on Dynamic Analysis – N Gupta - 2003