@inproceedings(quickcheck,
 author       = "Thomas Arts and John Hughes and Joakim Johansson and Ulf Wiger",
 year         = "2006",
 title        = "Testing telecoms software with quviq QuickCheck",
 booktitle    = "ACM SIGPLAN workshop on Erlang",
 publisher    = "ACM",
 pages        = "2--10",
 doi          = "10.1145/1159789.1159792",
)
@inproceedings(burger-issta-2011,
 author       = "Martin Burger and Andreas Zeller",
 year         = "2011",
 title        = "Minimizing Reproduction of Software Failures",
 booktitle    = "ISSTA",
 publisher    = "ACM",
 pages        = "221--231",
 doi          = "10.1145/2001420.2001447",
)
@book(erlprog,
 author       = "Francesco Cesarini and Simon Thompson",
 year         = "2009",
 title        = "Erlang Programming",
 publisher    = "O'Reilly",
 url          = "http://www.oreilly.de/catalog/9780596518189/index.html",
)
@inproceedings(Pulse:2009,
 author       = "Koen Claessen and Michal Palka and Nicholas Smallbone and John Hughes and Hans Svensson and Thomas Arts and Ulf Wiger",
 year         = "2009",
 title        = "Finding race conditions in Erlang with QuickCheck and PULSE",
 booktitle    = "ICFP",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "149--160",
 doi          = "10.1145/1631687.1596574",
)
@inproceedings(CFG11elarva,
 author       = "Christian Colombo and Adrian Francalanza and Rudolph Gatt",
 year         = "2012",
 title        = "Elarva: A Monitoring tool for Erlang",
 booktitle    = "Runtime Verification",
 series       = "LNCS",
 volume       = "7186",
 publisher    = "Springer",
 pages        = "370--374",
 doi          = "10.1007/978-3-642-29860-8\_29",
)
@inproceedings(CGG08FMICS,
 author       = "Christian Colombo and Gordon J. Pace and Gerardo Schneider",
 year         = "2008",
 title        = "Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties",
 booktitle    = "FMICS",
 series       = "LNCS",
 volume       = "5596",
 pages        = "135--149",
 doi          = "10.1007/978-3-642-03240-0\_13",
)
@mastersthesis(Fenech,
 author       = "Stephen Fenech",
 year         = "2008",
 title        = "Conflict Analysis of Deontic Conflicts",
 school       = "Dept. of CS, University of Malta",
 url          = "http://www.cs.um.edu.mt/svrg/Tools/CLTool/Papers/masterThesis.pdf",
)
@inproceedings(GM07min,
 author       = "Paul Gastin and Pierre Moro",
 year         = "2007",
 title        = "Minimal counterexample generation for {SPIN}",
 booktitle    = "{SPIN}",
 publisher    = "Springer",
 pages        = "24--38",
 doi          = "10.1007/978-3-540-73370-6\_4",
)
@inproceedings(JO07scarpe,
 author       = "S. Joshi and A. Orso",
 year         = "2007",
 title        = "{SCARPE}: A Technique and Tool for Selective Capture and Replay of Program Executions",
 booktitle    = "ICSM",
 pages        = "234 --243",
 doi          = "10.1109/ICSM.2007.4362636",
)
@book(Nielson:2004,
 author       = "Flemming Nielson and Hanne R. Nielson and Chris Hankin",
 year         = "2004",
 title        = "Principles of Program Analysis",
 publisher    = "Springer-Verlag",
 address      = "NJ, USA",
 url          = "http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-65410-0",
)
@inproceedings(NSB07min,
 author       = "Tobias Nopper and Christoph Scholl and Bernd Becker",
 year         = "2007",
 title        = "Computation of minimal counterexamples by using black box techniques and symbolic methods",
 booktitle    = "ICCAD",
 publisher    = "IEEE",
 pages        = "273--280",
 doi          = "10.1109/ICCAD.2007.4397277",
)
@inproceedings(orso-woda-2006,
 author       = "Alessandro Orso and Shrinivas Joshi and Martin Burger and Andreas Zeller",
 year         = "2006",
 title        = "Isolating Relevant Component Interactions with {JINSI}",
 booktitle    = "WODA",
 publisher    = "ACM",
 pages        = "3--10",
 doi          = "10.1145/1138912.1138915",
)
@inproceedings(orso05may,
 author       = "Alessandro Orso and Bryan Kennedy",
 year         = "2005",
 title        = "{Selective Capture and Replay of Program Executions}",
 booktitle    = "WODA",
 pages        = "29--35",
 doi          = "10.1145/1082983.1083251",
)
@inproceedings(PS11proper,
 author       = "Manolis Papadakis and Konstantinos Sagonas",
 year         = "2011",
 title        = "A {PropEr} Integration of Types and Function Specifications with Property-Based Testing",
 booktitle    = "SIGPLAN Erlang Workshop",
 publisher    = "ACM",
 pages        = "39--50",
 doi          = "10.1145/2034654.2034663",
)
@article(ZH02,
 author       = "Andreas Zeller and Ralf Hildebrandt",
 year         = "2002",
 title        = "Simplifying and Isolating Failure-Inducing Input",
 journal      = "IEEE Trans. Softw. Eng.",
 volume       = "28",
 number       = "2",
 pages        = "183--200",
 doi          = "10.1109/32.988498",
)