Thomas Arts, John Hughes, Joakim Johansson & Ulf Wiger (2006):
Testing telecoms software with quviq QuickCheck.
In: ACM SIGPLAN workshop on Erlang.
ACM,
pp. 2–10,
doi:10.1145/1159789.1159792.
Martin Burger & Andreas Zeller (2011):
Minimizing Reproduction of Software Failures.
In: ISSTA.
ACM,
pp. 221–231,
doi:10.1145/2001420.2001447.
Koen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts & Ulf Wiger (2009):
Finding race conditions in Erlang with QuickCheck and PULSE.
In: ICFP.
ACM,
New York, NY, USA,
pp. 149–160,
doi:10.1145/1631687.1596574.
Christian Colombo, Adrian Francalanza & Rudolph Gatt (2012):
Elarva: A Monitoring tool for Erlang.
In: Runtime Verification,
LNCS 7186.
Springer,
pp. 370–374,
doi:10.1007/978-3-642-29860-8_29.
Christian Colombo, Gordon J. Pace & Gerardo Schneider (2008):
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.
In: FMICS,
LNCS 5596,
pp. 135–149,
doi:10.1007/978-3-642-03240-0_13.
Paul Gastin & Pierre Moro (2007):
Minimal counterexample generation for SPIN.
In: SPIN.
Springer,
pp. 24–38,
doi:10.1007/978-3-540-73370-6_4.
S. Joshi & A. Orso (2007):
SCARPE: A Technique and Tool for Selective Capture and Replay of Program Executions.
In: ICSM,
pp. 234 –243,
doi:10.1109/ICSM.2007.4362636.
Tobias Nopper, Christoph Scholl & Bernd Becker (2007):
Computation of minimal counterexamples by using black box techniques and symbolic methods.
In: ICCAD.
IEEE,
pp. 273–280,
doi:10.1109/ICCAD.2007.4397277.
Alessandro Orso, Shrinivas Joshi, Martin Burger & Andreas Zeller (2006):
Isolating Relevant Component Interactions with JINSI.
In: WODA.
ACM,
pp. 3–10,
doi:10.1145/1138912.1138915.
Alessandro Orso & Bryan Kennedy (2005):
Selective Capture and Replay of Program Executions.
In: WODA,
pp. 29–35,
doi:10.1145/1082983.1083251.
Manolis Papadakis & Konstantinos Sagonas (2011):
A PropEr Integration of Types and Function Specifications with Property-Based Testing.
In: SIGPLAN Erlang Workshop.
ACM,
pp. 39–50,
doi:10.1145/2034654.2034663.
Andreas Zeller & Ralf Hildebrandt (2002):
Simplifying and Isolating Failure-Inducing Input.
IEEE Trans. Softw. Eng. 28(2),
pp. 183–200,
doi:10.1109/32.988498.