News and Announcements from the ProTest Project
 |
Year 2009 |  |
 |
Submission: 2 April
2010 Final papers due: 12
July 2010 
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
of Abstract: 29 Jan 2010 Submission
of Paper: 5 Feb 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 Papers and abstracts: 2 April 2010 Registration deadline: 7 May 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.
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.
14 December 2009:
Traceexp - trace expressions for Erlang
In November Quviq has
released a new version of QuickCheck, which provides an easy way to test C code
from Erlang. C functions can be called from Erlang with no need for any
hand-written glue code at all. A new online video demo uses a simple example--a
circular buffer implementation--to show how easy it is to start testing C from the
Erlang shell. We also show testing the C code using a QuickCheck finite state
machine specification, which provokes minimized failed tests that quickly
reveal two bugs in the implementation. To watch the video, click here (about 15 minutes).
14 December 2009:
QuickCheck – testing C code with QuickCheck
23 November 2009:
The Tutorials are available form the successful Property-based Testing Tutorial Workshop 2009
After the successful Property-based Testing Tutorial Workshop 2009 in Stockholm all the ProTest related tutorials - including Exago, Inviso/Onviso, McErlang, PULSE, QuickCheck and Wrangler - are now available online! You can find them on the Tutorials page
It's been two years since ProTest
- an EU funded research project on
property based testing and test driven development - was established.
We would like to sum it up and therefore we need YOUR
feedback! Have you heard about Exago, McErlang, Onviso, PULSE,
QuickCheck or Wrangler? Are you using any of these tools? What's more, all participants are entered into a FREE PRIZE DRAW to
win one each of three 'Erlang
Programming'
books by Francesco Cesarini and Simon Thompson. So please, by Monday
14th December take
our survey! It is available here
in the traditional web-based form,
you can also take it via IM - just add:
survey@bot.surveys.erlang-consulting.com to your Jabber buddies and
enter "start".
If you have any queries, do not hesitate to contact Aniko on
aniko@erlang-consulting.com. We appreciate your time and
willingness to help us!
23 November 2009:
Take ProTest Tools Survey and win Erlang Programming book!
By
answering these and other questions, you will help influence the
research and dissemination strategies for the next two years. Filling
the survey in should not take longer than 15 minutes. Its results
will be presented at Erlang conferences and workshops and made public
on the ProTest
website.
9 September 2009:
Call for Papers for ACCU 2010 Conference, Oxford, UK
The ACCU 2010 Conference on 14th April 2010 is calling for Papers. The conference has invited the ProTest project to present a session at this leading software development event. ACCU have a long tradition of high quality sessions covering many aspects of software development, from programming languages (e.g., C, C++, Java, C#, Ruby, Groovy, Python, Erlang, Haskell, etc.), and technologies (libraries, frameworks, databases, etc.) to subjects about the wider development environment such as testing, development process, design, analysis, patterns, project management, and softer aspects such as team building, communication and leadership.
In particular, this year they are going to have a special track on software testing--they are interested in experience reports, techniques, lessons learned, etc.
Important Dates
* Submission deadline: 30 September, 2009.
9 September 2009:
Call for Papers for DAMP 2010 Conference, Madrid, Spain
The DAMP 2010 conference in January 2010 is calling for Papers.
Important Dates:
Abstract Submission: 21st Sept 2009
Paper Submission: 25th Sept 2009
24 February 2009:
Call for Papers for ACM SIGPLAN Erlang Workshop, Edinburgh, Scotland
The Eighth ACM SIGPLAN Erlang Workshop on Sept 5, 2009 will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming.
Important Dates
* Submission deadline: May 8, 2009.
* Author notification: May 30, 2009.
* Final submission: June 17, 2009.
16 February 2009:
Presentation to the FM SOA Workshop, Duesseldorf, Germany
John Derrick was invited to give a presentation about the ProTest project to the FM SOA Workshop, co-located with the IFM (Integrated Formal Methods) conference in Duesseldorf, Germany.
20 January 2009:
'Clone Detection and Removal for Erlang/OTP within a Refactoring Environment' presentation at PEPM 2009, Savannah, Georgia, USA.
Simon Thompson presented his and Huiqing's work on "Clone Detection and
Removal for Erlang/OTP within a Refactoring Environment" at PEPM 2009 (Partial Evaluation and Program Manipulation) conference, in Savannah, Georgia, USA.
20 January 2009:
Erlang Programming for Multicore tutorial at the DAMP 2009
Ulf Wiger gave a tutorial about
Erlang Programming for Multicore at the DAMP 2009: Workshop on
Declarative Aspects of Multicore Programming held in conjunction with the Principles of Programming Languages (POPL) conference.
[2009] [2008] [2007]
