General Chair

Tiziana Margaria
(Univ. Potsdam, D)

Program Chairs

Reiner Hähnle
(Chalmers Univ. of Technology, S)

Bernhard Steffen
(TU Dortmund, D)

Program Committee

Michael Felderer

Falk Howar

Valerie Issarni

Richard Johannsson

Fabio Massacci

Alessandro Moschitti

Tomas Piatrik

Riccardo Scandariato

Ina Schäfer

Deadlines:

Titel und abstract: September 25, 2011
Early Registr.: September 30, 2011

Organizer

Vienna University of Technology,
Institute of Computer Languages

Sponsor

International ISoLA Workshop on

Machine Learning for Software Construction

October 17 - 18, 2011 - Vienna University of Technology

http://www.cs.uni-potsdam.de/isola2011

Most systems in use today lack adequate specifications or make use of un/under-specified components. In fact, the popular component-based software design paradigm naturally leads to under-specified systems, as most libraries only provide very partial specifications of their components. Moreover, typically, revisions and last minute changes hardly enter the system specification.

As can be observed in many practical contexts, revision cycle times are often extremely short, which make the maintenance of specifications unrealistic, and at the same time these short cycles necessitate extensive testing effort. More generally, the lack of documentation is felt in many places among which quality control is one of the most prominent.

Machine learning has been proposed to overcome this situation by automatically 'mining' and then updating the required information. Promising results have been obtained here using active automata learning technology, and there seems to be a high potential to exploit also other maching learning techniques.

The workshop is intended to provide a forum for discussing this potential inspired by, but not restricted to the context of the EternalS Coordination Action, with an emphasis on long-lived, evolving/adaptable systems.

The workshop comprises an 'overview' day (17.10.), with invited talks outlining the various views of the EternalS partners in a tutorial-like fashion, and a planning and discussion day (18.10.), where concrete next steps will be organized, in particular, concerning how to address the identified challenges. One major such step is the organization of a learning competition that will be held during the ISoLA conference in October 2012.