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