Documents Related by Co-Citation

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