Tutorials

November 2011: At the Tutorials Worshop 2011, Stockholm

• QuickCheck for EUnit by Thomas Arts, Quviq AB and Simon Thompson, University of Kent
• DIY Refactoring in Wrangler by Simon Thompson, University of Kent
• QuickCheck Mini by Thomas Arts, Quviq AB
• Easy Cover and EUnit - testing with ErlIde by Aleksandra Lipiec, Erlang Solutions
• Log Analysis with Exago by Fred Hebert - Erlang Solutions
• Automated inference of state machines with Statechum by Kirill Bogdanov, University of Sheffield
• McErlang by Lars-Åke Fredlund, Universidad Politécnica of Madrid
• Erlang QuickCheck and Java by Lars-Åke Fredlund, Universidad Politécnica of Madrid
• Learning Mocks with Meck by Adam Lindberg, Erlang Solutions

Tutorials on Wrangler

November 2010: Nine ProTest Tutorials were presented at the Tutorial Workshop 2010, Stockholm.

• ErlIDE: Erlang and Eclipse, hands-on by Jakob Cederlund, Ericsson AB
• Hands-on DBG and TTB introduction by Mazen Harake, Erlang Solutions
• McErlang: a model checker for Erlang by Alvaro Fernandez Diaz, Universidad Politecnica de Madrid
• QuickCheck Mini by Ulf Norell, QuviQ AB
• RefactorErl by Melinda Tóth, Eötvös Loránd University, Budapest, Hungary
• Testing Database Applications with QuickCheck by Laura M. Castro, University of A Coruna, Spain
• Testing Erlang multi-core applications with PULSE by Michal Palka, Chalmers University of Technology
• Testing OTP libraries with QuickCheck Mini Slides, Files by John Hughes, QuviQ AB
• Wrangler as a part of the software development process by Huiqing Li, The University of Kent

November 2009: At the Property-based Testing Tutorial Workshop 2009, Stockholm every Protest related tool was presented at least with one tutorial.

• Exago Tutorial and Exago Exercises by Atilla Erdodi and Aniko Nagyne Vig, Erlang Training and Consulting
• Inviso/Onviso Tutorial and Inviso/Onviso Exercises by Aniko Nagyne Vig, Erlang Training and Consulting
• McErlang by Lars-Åke Fredlund and Clara Benac Earle, Universidad Politecnica de Madrid
• Testing Erlang multi-core applications with PULSE by Hans Svensson and Michal Palka, Chalmers University
• QuickCheck Tutorial Part1 by Ulf Norell, Quviq.
• QuickCheck Tutorial Part2 by Ulf Norell, Quviq.
• QuickCheck Tutorial Part3 by Ulf Norell, Quviq.
• QuickCheck Specifications for free presentation and QuickCheck Specifications for free examples by Nick Smallbone, Chalmers University and Quviq.
• Wrangler by Huiqing Li and Simon Thompson, University of Kent

September 2009: At the 8th ACM SIGPLAN 2009 Developer Tracks on Functional Programming, DEFUN 2009: by Simon Thompson gave a tutorial on Erlang in 10 Examples.

January 2009: Ulf Wiger gave a tutorial about Erlang Programming for Multicore at the Declarative Aspects of Multicore Programming (DAMP) workshop in Savannah, Georgia held in conjunction with the Principles of Programming Languages (POPL) conference.

September 2008: ACM SIGPLAN 2008 Developer Tracks on Functional Programming (DEFUN 2008):

• Practical Erlang Programming by Francesco Cesarini.
• Erlang DBG and the Trace Biff by Tamas Nagy.
• Erlang QuickCheck Tutorial by Thomas Arts, IT University of Gothenburg and Quviq, this tutorial will be made available via a webcast.

June 2008: Thomas Arts presents a QuickCheck tutorial at the Erlang exchange. The presentation is available on line.

May 2008: Quviq produced two instruction videos for QuickCheck. In the first movie on SMS encoding and decoding a program is analyzed with QuickCheck. In the second movie an Elevator system is tested by QuickCheck. The latter is a typical example of a non-deterministic control system in which timing is important.