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

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

Subscribe to our newsletter mailing list!

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

Members login