GPCE 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
Mon 18 Oct 2021 07:40 - 07:55 at Zurich C - SLE/GPCE Session 8 Chair(s): Coen De Roover
Mon 18 Oct 2021 15:40 - 15:55 at Zurich C - SLE/GPCE Session 8 Chair(s): Ran Wei

Formal Concept Analysis (FCA) has been introduced for almost a decade as a suitable method for Feature Location (FL) on a collection of product variants. Even though FCA-based FL techniques allow to locate the core of a feature implementation, they do not propose a solution to trace feature interactions to their implementation. Thus, the extracted traceability links (traces) are too inaccurate, and, in the context of SPL extraction, cannot be used to generate complete products.

In this paper, we propose to complement FCA-based FL techniques. Our proposed technique is capable of extracting the feature implementation and the implementation of the feature interaction. This process leverages the power of Relational Concept Analysis, an extension of FCA to multi-relational data. Moreover, our technique can be applied to fine-grained artefacts, which permits it to have more accurate traces that better capture the features’ implementation and interactions.
Finally, we also propose a method to reduce the size of the traces (number of features) for a better comprehension of each trace. We have applied our FL technique to five case studies of product variants. The results show that our technique produces valid traces, from which we were able to completely rebuild the set of artefacts for each initial product. Our results also show that our trace reduction removes, on average, between 31% and 85% of unnecessary features from the traces.

Mon 18 Oct

Displayed time zone: Central Time (US & Canada) change

07:40 - 09:00
SLE/GPCE Session 8GPCE / SLE at Zurich C
Chair(s): Coen De Roover Vrije Universiteit Brussel
07:40
15m
Talk
Leveraging Relational Concept Analysis for Automated Feature Location in Software Product LinesVirtual
GPCE
Nicolas Hlad LIRMM, CNRS, Bérénice Lemoine LIRMM, CNRS, Marianne Huchard LIRMM, Abdelhak Seriai LIRMM, CNRS and University of Montpellier
07:55
15m
Talk
FIDDLR: Streamlining Reuse with Concern-Specific Modelling LanguagesVirtual
SLE
Maximilian Schiedermeier McGill University, Jörg Kienzle McGill University, Canada, Bettina Kemme McGill University, Canada
08:10
15m
Talk
Lifted Termination Analysis by Abstract Interpretation and its ApplicationsVirtual
GPCE
Aleksandar S. Dimovski Mother Teresa University, Skopje
08:25
15m
Talk
Delta-based Verification of Software Product FamiliesVirtual
GPCE
Marco Scaletta Technische Universität Darmstadt, Reiner Hähnle Technical University of Darmstadt, Dominic Steinhöfel CISPA Helmholtz Center for Information Security, Richard Bubel Technische Universität Darmstadt
08:40
20m
Live Q&A
Discussion, Questions and Answers
SLE

15:40 - 17:00
SLE/GPCE Session 8GPCE / SLE at Zurich C -8h
Chair(s): Ran Wei Dalian University of Technology
15:40
15m
Talk
Leveraging Relational Concept Analysis for Automated Feature Location in Software Product LinesVirtual
GPCE
Nicolas Hlad LIRMM, CNRS, Bérénice Lemoine LIRMM, CNRS, Marianne Huchard LIRMM, Abdelhak Seriai LIRMM, CNRS and University of Montpellier
15:55
15m
Talk
FIDDLR: Streamlining Reuse with Concern-Specific Modelling LanguagesVirtual
SLE
Maximilian Schiedermeier McGill University, Jörg Kienzle McGill University, Canada, Bettina Kemme McGill University, Canada
16:10
15m
Talk
Lifted Termination Analysis by Abstract Interpretation and its ApplicationsVirtual
GPCE
Aleksandar S. Dimovski Mother Teresa University, Skopje
16:25
15m
Talk
Delta-based Verification of Software Product FamiliesVirtual
GPCE
Marco Scaletta Technische Universität Darmstadt, Reiner Hähnle Technical University of Darmstadt, Dominic Steinhöfel CISPA Helmholtz Center for Information Security, Richard Bubel Technische Universität Darmstadt
16:40
20m
Live Q&A
Discussion, Questions and Answers
SLE