Active Bibliography

20 Discovering documentation for java container classes – Johannes Henkel, Christoph Reichenbach, Amer Diwan - 2007
Discovering Algebraic Specifications for Java Classes – Johannes Henkel, Christoph Reichenbach, Amer Diwan - 2004
18 Mutually enhancing test generation and specification inference – Tao Xie, David Notkin - 2003
42 Efficient Incremental Algorithms for Dynamic Detection of Likely Invariants – Jeff H. Perkins, Michael D. Ernst - 2004
9 Automatically identifying special and common unit tests for object-oriented programs – Tao Xie - 2005
6 Universal Symbolic Execution and its Application to Likely Data Structure Invariant Generation – Yamini Kannan, Koushik Sen - 2008
91 Dynamically Discovering Likely Program Invariants – Michael D. Ernst - 2000
17 Inferring better contracts – Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer - 2011
17 A Tool for Writing and Debugging Algebraic Specifications – J. Henkel, A. Diwan - 2004
12 Discovering likely method specifications – Nikolai Tillmann, Feng Chen, Wolfram Schulte - 2006
53 DSD-Crasher: A hybrid analysis tool for bug finding – Christoph Csallner, Tao Xie - 2006
109 Eclat: Automatic generation and classification of test inputs – Carlos Pacheco, Michael D. Ernst - 2005
36 Modular Data Structure Verification – Martin C. Rinard - 2007
1 Automatic Extraction of Heap Reference Properties in Object-Oriented Programs – Brian Demsky, Martin Rinard
28 Infrastructure Support for Controlled Experimentation with Software Testing and Regression Testing Techniques – Hyunsook Do, Gregg Rothermel, Sebastian Elbaum - 2004
5 Developing and debugging algebraic specifications for Java classes – Johannes Henkel, Christoph Reichenbach, Amer Diwan - 2004
6 Automatic Dimension Inference and Checking for Object-Oriented Programs – Sudheendra Hangal, Monica S. Lam
19 Symbolic mining of temporal specifications – Mark Gabel, Zhendong Su - 2008
10 DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs – Jacob Burnim, Koushik Sen