Documents Related by Co-Citation

591 Dynamically discovering likely program invariants to support program evolution – M Ernst, J Cockrell, W Griswold, D Notkin - 1998
313 Mining Specifications – Glenn Ammons, Rastislav Bodik, James R. Larus - 2002
95 Improving Test Suites via Operational Abstraction – Michael Harder, Jeff Mellen, Michael D. Ernst - 2003
311 Tracking Down Software Bugs Using Automatic Anomaly Detection – Sudheendra Hangal, Monica S. Lam - 2002
295 Korat: Automated testing based on Java predicates – Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov - 2002
48 Tool-assisted unit test selection based on operational violations – Tao Xie, David Notkin - 2003
425 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
149 Automatic Extraction of Object-Oriented Component Interfaces – John Whaley, Michael Martin, Monica Lam - 2002
579 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005