Published: 12th April 2015
DOI: 10.4204/EPTCS.182
ISSN: 2075-2180


Proceedings 6th Workshop on
Formal Methods and Analysis in SPL Engineering
London, UK, 11 April 2015

Edited by: Joanne M. Atlee and Stefania Gnesi

Joanne Atlee and Stefania Gnesi
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata
Lars Luthmann, Stephan Mennicke and Malte Lochau
Coherent branching feature bisimulation
Tessa Belder, Maurice H. ter Beek and Erik P. de Vink
Detecting and Explaining Conflicts in Attributed Feature Models
Uwe Lesta, Ina Schaefer and Tim Winkelmann
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules
Thi-Kim-Zung Pham, Catherine Dubois and Nicole Levy
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking
Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente and Andrea Vandin
Analysis of Software Binaries for Reengineering-Driven Product Line Architecture—An Industrial Case Study
Ian D. Peake, Jan Olaf Blech, Lasith Fernando, Divyasheel Sharma, Srini Ramaswamy and Mallikarjun Kande


We would like to take this opportunity to welcome you at FMSPLE 2015, the 6th International Workshop on Formal Methods and Analysis in SPL Engineering.

The objective of the workshop Formal Methods and Analysis in Software Product Line Engineering (FMSPLE) is to bring together researchers and practitioners from the SPLE community with researchers and practitioners working in the area of formal methods and analysis. So far, both communities are only loosely connected, despite very promising initial work on formal analysis techniques for software product lines.

The workshop aims at reviewing the state of the art and the state of the practice in which formal methods and analysis approaches are currently applied in SPLE. This leads to a discussion of a research agenda for the extension of existing formal approaches and the development of new formal techniques for dealing with the particular needs of SPLE. To achieve the above objectives, the workshop is intended as a highly interactive event fostering discussion and initiating collaborations between the participants from both communities.

In addition to the paper presentations, the workshop program includes a keynote speaker: Marsha Chechik, Professor and Bell University Labs Chair in Software Engineering in the Department of Computer Science at the University of Toronto, who gives a talk on Towards a Framework for Managing Software Families. We are grateful to Marsha for accepting our invitation to address the workshop with her talk.

At the end of the workshop a wrap up session is organized with the purpose of stimulating a discussion on the workshop's main themes.

We would like to thank the Program Committee members for their collaboration in selecting the papers, the external reviewers who helped the PC members, the presenters and the participants of the workshop.

Program Chairs

Program Committee

Steering Committee