An evaluation of exhaustive testing for data structures (2003)

by Darko Marinov , Alexandr Andoni , Dumitru Daniliuc , Sarfraz Khurshid , Martin Rinard
Venue:MIT Computer Science and Artificial Intelligence Laboratory Report MIT -LCS-TR-921
Citations:30 - 14 self

Documents Related by Co-Citation

278 Korat: Automated testing based on Java predicates – Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov - 2002
462 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
475 Symbolic execution and program testing – J C King - 1976
176 Generalized Symbolic Execution for Model Checking and Testing – Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser - 2003
86 D.: Rostra: A framework for detecting redundant objectoriented unit tests – Tao Xie, Darko Marinov, David Notkin - 2004
522 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
109 Eclat: Automatic generation and classification of test inputs – Carlos Pacheco, Michael D. Ernst - 2005
390 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
34 Software assurance by bounded exhaustive testing – Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin Sullivan, Senior Member - 2004
438 Software Testing Techniques – B Beizer - 1990
131 Jcrasher: an automatic robustness tester for java – Christoph Csallner, Yannis Smaragdakis - 2004
115 Symstra: A framework for generating object-oriented unit tests using symbolic execution – Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin - 2005
32 Automatic Testing of Software with Structurally Complex Inputs – Darko Marinov - 2005
309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
39 TestEra: Specification-based Testing of Java Programs Using SAT – Sarfraz Khurshid, Darko Marinov - 2004
567 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
369 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
1254 The model checker SPIN – Gerard J. Holzmann - 1997
76 Discovering Algebraic Specifications from Java Classes – Johannes Henkel, Amer Diwan - 2003