ProTest News:

16 February 2010: Message Sequences Charts help formulating properties

16 February 2010: PhD thesis with part on property based testing

16 February 2010: QuickCheck for testing C programs


More News

ProTest Events:

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.


Google


Members login

Click here


Tutorials

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.