References

1. 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.
2. Martin Burger & Andreas Zeller (2011): Minimizing Reproduction of Software Failures. In: ISSTA. ACM, pp. 221–231, doi:10.1145/2001420.2001447.
3. Francesco Cesarini & Simon Thompson (2009): Erlang Programming. O'Reilly. Available at http://www.oreilly.de/catalog/9780596518189/index.html.
4. 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.
5. 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.
6. 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.
7. Stephen Fenech (2008): Conflict Analysis of Deontic Conflicts. Dept. of CS, University of Malta. Available at http://www.cs.um.edu.mt/svrg/Tools/CLTool/Papers/masterThesis.pdf.
8. 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.
9. 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.
10. Flemming Nielson, Hanne R. Nielson & Chris Hankin (2004): Principles of Program Analysis. Springer-Verlag, NJ, USA. Available at http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-65410-0.
11. 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.
12. 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.
13. Alessandro Orso & Bryan Kennedy (2005): Selective Capture and Replay of Program Executions. In: WODA, pp. 29–35, doi:10.1145/1082983.1083251.
14. 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.
15. 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.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org