Published: 12th April 2015|
|Preface 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||1|
|Coherent branching feature bisimulation Tessa Belder, Maurice H. ter Beek and Erik P. de Vink||14|
|Detecting and Explaining Conflicts in Attributed Feature Models Uwe Lesta, Ina Schaefer and Tim Winkelmann||31|
|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||44|
|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||56|
|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||71|
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.