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


Videos

At the Infoq conference, San Francisco in July 2009:

At the Erlang Factory conference, London in June 2009:

At the Erlang Factory conference, San Francisco in April 2009: