|
|
|
29 Sep 2010: ICFP 2010, Baltimore, US 30 Sep 2010: ACM SIGPLAN Erlang Workshop, Baltimore, US 1 Oct 2010: CUFP 2010, Baltimore, US More Events |
Subscribe to our newsletter mailing list!Sign up to receive the latest news and events about the ProTest project. |
Members loginClick here |
Tutorials
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.
