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:

12 Mar 2010: QCON 2010 London (London, UK)

27 Mar 2010: Erlang Factory SF Bay Area 2010, USA

17 Apr 2010: ACCU 2010: Styling your Architecture in an Evolving Concurrent World and Message-Passing Concurrency in Erlang (Oxford, UK)

Subscribe to our newsletter mailing list!

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

Members login