S3: Solution-Space Analysis

Home / Event / S3: Solution-Space Analysis

Event Timeslots (4)

Room Bruxelles
-
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti and Luca Paolini. “Static Analysis of Featured Transition Systems”. (RT)

Room Bruxelles
-
Carlos Diego Nascimento Damasceno, Mohammadreza Mousavi and Adenilso Simao. “Learning From Difference: An Automated Approach for Learning Family Models From Software Product Lines”. (RT)

Room Bruxelles
-
Andre Luiz Peron Martins Lanna, Thiago Castro, Vander Alves, Genaina Rodrigues, Pierre-Yves Schobbens and Sven Apel. \"Feature-Family-Based Reliability Analysis of Software Product Line\". (JFT)

Room Bruxelles
-
Lea Gerling and Klaus Schmid. “Variability-Aware Semantic Slicing Using Code Property Graphs”. (RT)