ProTest News:

24 February 2011: Erlang Factory London 2011 - Talk Submission Open

18 January 2011: Erlang Solutions launches a course in Test Driven Development with Erlang

13 January 2011: Programme Announced for the Erlang Factory SF Bay Area 2011


More News

ProTest Events:

None.


More Events

Subscribe to our newsletter mailing list!

Sign up to receive the latest news and events about the ProTest project.


Google


Members login

Click here


Tutorials

November 2011: At the Tutorials Worshop 2011, Stockholm

Tutorials on Wrangler

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

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

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):

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.