TestEra: A Novel Framework for Automated Testing of Java Programs (2001)

by Darko Marinov , Sarfraz Khurshid
Citations:82 - 26 self

Documents Related by Co-Citation

237 Korat: Automated testing based on Java predicates – Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov - 2002
112 Alcoa: the alloy constraint analyzer – Daniel Jackson, Ian Schechter, Ilya Shlyakhter
359 Symbolic execution and program testing – J C King - 1976
352 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
90 A micromodularity mechanism – D Jackson, I Shlyakhter, M Sridharan - 2001
95 Finding bugs with a constraint solver – D Jackson, M Vaziri - 2000
324 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
278 Alloy: A Lightweight Object Modelling Notation – Daniel Jackson - 2001
35 Generating effective symmetry-breaking predicates for search problems – I Shlyakhter - 2001
98 A Simple and Practical Approach to Unit Testing: The JML and JUnit Way – Yoonsik Cheon, Gary T. Leavens, Yoonsik Cheon, Gary T. Leavens - 2002
514 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
166 Toward a theory of test data selection – J B Goodenough, S L Gerhart - 1975
1054 The Z notation : A reference manual – J M Spivey - 1992
388 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
146 Generalized Symbolic Execution for Model Checking and Testing – Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser - 2003
281 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996
20 Micromodels of software: Modelling and analysis with Alloy. URL: http: //sdg.lcs.mit.edu/alloy/reference-manual.pdf – Daniel Jackson
62 Generating Finite State Machines from Abstract State Machines – Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes - 2002
1130 The model checker SPIN – Gerard J. Holzmann - 1997