Alloy Analyzer http://alloy.mit.edu/alloy/ R. Abreu P. Zoeteweij A.J.C. van Gemund 2009 Spectrum-based Multiple Fault Localization Proc. 24th IEEE/ACM ASE IEEE Computer Society 88–99 10.1109/ASE.2009.25 F.R. Andrade J.P. Faria A. Lopes A.C.R. Paiva 2012 Specification-Driven Unit Test Generation for Java Generic Classes IFM 2012 LNCS 7321 Springer-Verlag 296–311 10.1007/978-3-642-30729-4 F.R. Andrade J.P. Faria A. Paiva 2011 Test Generation from Bounded Algebraic Specifications using Alloy Proc. ICSOFT 2011 2 SciTePress 192–200 P. Bouillon J. Krinke N. Meyer F. Steimann 2007 EzUnit: A Framework for associating failed unit tests with potential programming errors 8th XP LNCS 4536 Springer 101–104 10.1007/978-3-540-73101-6_14 K. Claessen J. Hughes 2000 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Proc. of ICFP ACM SIGPLAN Notices 268–279 10.1145/351240.351266 P. Crispim A. Lopes V. Vasconcelos 2011 Runtime verification for generic classes with ConGu2 Proc. SBMF 2010 LNCS 6527 Springer-Verlag 33–48 10.1007/978-3-642-19829-8_3 R.K. Doong P.G. Frankl 1994 The ASTOOT Approach to Testing Object-Oriented Programs ACM TOSEM 3 2 101–130 10.1145/192218.192221 M.C. Gaudel P.L. Gall 2008 Testing data types implementations from algebraic specifications Formal Methods and Testing 10.1007/978-3-540-78917-8_7 M. Hughes D. Stotts 1996 Daistish: systematic algebraic testing for OO programs in the presence of side-effects Proc. ISSTA96, ACM Press 53–61 10.1145/229000.226301 D. Jackson 2012 Software Abstractions - Logic, Language, and Analysis, Revised Edition MIT Press L. Kong H. Zhu B. Zhou 2007 Automated Testing EJB Components Based on Algebraic Specifications COMPSAC 2007 717–722 10.1109/COMPSAC.2007.82 P.D.L. Machado D. Sanella 2002 Unit testing for CASL architectural specifications Proc. 27th MFCS LNCS 2420 Springer 506–518 10.1007/3-540-45687-2_42 I. Nunes A. Lopes V. Vasconcelos 2009 Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming Runtime Verification LNCS 5779 Springer 115–131 10.1007/978-3-642-04694-0_9 I. Nunes A. Lopes V. Vasconcelos J. Abreu L. Reis 2006 Checking the conformance of Java classes against algebraic specifications Proc. 8th ICFEM LNCS 4260 Springer 494–513 10.1007/11901433_27 I. Nunes F. Luís 2012 A fault-location technique for Java implementations of algebraic specifications Technical Report 02 Faculty of Sciences of the University of Lisbon A. Riboira R. Abreu 2010 The GZoltar Project: A Graphical Debugger Interface L. Bottaci G. Fraser TAIC PART LNCS 6303 Springer 215–218 http://dx.doi.org/10.1007/978-3-642-15585-7_25 F. Steimann M. Bertschler 2009 A simple coverage-based locator for multiple faults IEEE ICST LNCS 4536 Springer 366–375 10.1109/ICST.2009.24 H. Zhu 2003 A note on test oracles and semantics of algebraic specifications QSIC 2003 IEEE Computer Society 91–98 10.1109/QSIC.2003.1319090