News and Announcements from the ProTest Project

5 December 2008: 2nd Call for Papers for WING 2009, York, UK

WING 2009 2nd International Workshop on Invariant Generation, March 22-23, 2009, University of York, UK Satellite Workshop of ETAPS 2009
Important Dates:
January 12, 2009: Submission deadline
February 16, 2009: Notification of acceptance
March 1, 2009: Camera-ready copy deadline
March 22-23, 2009: WING 2009 in York, UK

26 November 2008: Call for Papers for TAP 2009, Zurich, Switzerland

TAP 2009 The Third International Conference on Tests And Proofs (TAP) will be held at ETH Zurich, Switzerland on 2 and 3 July 2009. It will be co-located with TOOLS Europe 2009. The TAP conference is devoted to the convergence of proofs and tests. It combines ideas from both sides for the advancement of software quality.
Important Dates:
* Submission deadline: 15 February 2009
* Notification of acceptance: 22 March 2009
* Submission of final camera-ready version: 15 April 2009

13 November 2008: Update on the EU project ProTest

The ProTest project team is presenting two talks at the 14th Int. Erlang/OTP User Conference
* Update on the EU project ProTest by Thomas Arts, IT University of Goteborg and Quviq, Francesco Ceasarini, Erlang Training & Consulting, London, and Simon Thompson, University of Kent.
* Formal Specifications for Free! by John Hughes, Quviq, Goteborg.
It is the perfect opportunity to meet the team, meet other Erlang enthusiasts, network, exchange ideas, make new friends and meet old ones.

5 September 2008: Erlang testing tools survey results

Click Here to view the report.

27 June 2008: Using QuickCheck to test Erlang programs tutorial

Thomas Arts presents a QuickCheck tutorial at the Erlang exchange. The presentation is available on line.

15 May 2008: Instruction videos for QuickCheck

In the first movie on SMS encoding and decoding program is analysed 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.

[2009] [2008] [2007]