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

Comments and questions to:
For website issues: