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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
In: COMPSAC 2007,
pp. 717–722,
doi:10.1109/COMPSAC.2007.82.
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.
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.
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.
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.
In: L. Bottaci & G. Fraser: TAIC PART,
LNCS 6303.
Springer,
pp. 215–218.
Available at 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.
In: IEEE ICST,
LNCS 4536.
Springer,
pp. 366–375,
doi:10.1109/ICST.2009.24.
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.