News and Announcements from the ProTest Project


Year 2010



16 February 2010: Message Sequences Charts help formulating properties

Quviq developed a new library to express relationships between events that happen in a system. This allows the testers to specify things like "this message should be delivered if the receiver was logged in around the time the message was sent". Message sequence charts are often used to give examples of possible ways in which messages may arrive. The newly developed library allows to specify a number of examples as one general property on message sequences.
The library was successfully used in a case study at ProcessOne and a paper describing this case has been submitted for publication.


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

Laura Castro from the University of A Coruna finished her PhD thesis, which is to be defended on April 15, 2010. In her thesis she describes advantages of using functional programming for the development of software systems. Part of the thesis is devoted to testing these systems and property based testing plays an important rôle.



16 February 2010: QuickCheck for testing C programs

Quviq developed an extension to QuickCheck that enables easy testing of C code from the Erlang shell and therewith enable the use of QuickCheck on C code.
This library is now evaluated on C libraries in the GNU package as well as on some real automotive software.


Year 2009



15 December 2009: Call for Papers for ICFP 2010, Baltimore, US on 29 Sep 2010

Call for Papers for 15th ACM SIGPLAN Int.Conf. on Functional Programming, ICFP 2010, Baltimore, US on 29 Sep 2010.

Submission: 2 April 2010

Final papers due: 12 July 2010                    



15 December 2009: Call for Papers for TAP 2010, Malaga, Spain on 1 Jul 2010

Call for Papers for Tests and Proofs conference, TAP 2010, Malaga, Spain on 1 Jul 2010.

Submission of Abstract: 29 Jan 2010

Submission of Paper:  5 Feb 2010



15 December 2009: Call for Papers for TIFP 2010 conference, Oklahoma, US on 19 May 2010

Call for Papers for Trends in Functional Programming conference, TIFP 2010
on 19 May 2010.

Submission of Papers and abstracts: 2 April 2010

Registration deadline: 7 May 2010



14 December 2009: Traceexp - trace expressions for Erlang

This new tool is an Erlang module for on-line analysis of traces being developed at the University of Madrid. It provides the possibility to analyse at runtime, streams of Erlang trace messages generated by the Erlang runtime system.

The means of analysis is by defining a regular expression, which is continuously matched against an input stream of Erlang trace messages. Conceptually such streams of Erlang trace messages are infinite. Regular expression symbols may contain variables, which are shared between different symbols. Thus one can in a flexible manner establish relations between different but related events (e.g. checking that a request with a certain user-id is never followed by a reject for the same user-id) When a regular expression matches a segment of the trace message stream, a user defined function is called (e.g. to provide diagnostic output). The approach taken in the Traceexp tool is inspired by the work on "trace matches" in the article "Adding Trace Matching with Free Variables to AspectJ" by Chris Allan et.al. in the proceedings at OOPSLA 2005.

The first public release of the library can be downloaded from http://babel.ls.fi.upm.es/research/traceexp/. A preliminary user manual (included in the source distribution) documents the main functionalities of the tool, and includes an example to get started. Contact Guillem Marpons for more information.



[2009] [2008] [2007]