A classification and survey of analysis strategies for software product lines

T Thüm, S Apel, C Kästner, I Schaefer… - ACM Computing Surveys …, 2014 - dl.acm.org
Software-product-line engineering has gained considerable momentum in recent years,
both in industry and in academia. A software product line is a family of software products that …

A systematic test case selection methodology for product lines: results and insights from an industrial case study

S Wang, S Ali, A Gotlieb, M Liaaen - Empirical Software Engineering, 2016 - Springer
In the context of product lines, test case selection aims at obtaining a set of relevant test
cases for a product from the entire set of test cases available for a product line. While …

Synchronizing software variants with variantsync

T Pfofe, T Thüm, S Schulze, W Fenske… - Proceedings of the 20th …, 2016 - dl.acm.org
Developing and managing software variants is a key challenge in today's software
development. Due to conflicting requirements, software is developed in multiple variants to …

[PDF][PDF] Product-line specification and verification with feature-oriented contracts

T Thüm - 2015 - Citeseer
Variability is ubiquitous in today's software development. While techniques to efficiently
implement software product lines are used for decades, verification techniques have been a …

Incrementally synthesizing controllers from scenario-based product line specifications

J Greenyer, C Brenner, M Cordy, P Heymans… - Proceedings of the …, 2013 - dl.acm.org
Many software-intensive systems consist of components that interact to fulfill complex
functionality. Moreover, often many variants of such systems have to be designed at once …

A structural taxonomy for lifted software product line analyses

L Murphy, M Saifi, A Di Sandro, M Chechik - Journal of Systems and …, 2024 - Elsevier
A software product line (SPL) is a structured collection of distinct software products
developed from a common set of artifacts. SPLs can encompass millions of products, so …

Strategies for consistency checking on software product lines: a mapping study

AR Santos, RP de Oliveira, ES de Almeida - Proceedings of the 19th …, 2015 - dl.acm.org
Context. Software Product Lines (SPL) has become one of the most prominents way to
promote the systematic reuse of software artifacts. Like any other piece of software, with the …

Efficient consistency checking of scenario-based product-line specifications

J Greenyer, AM Sharifloo, M Cordy… - 2012 20th IEEE …, 2012 - ieeexplore.ieee.org
Modern technical systems typically consist of multiple components and must provide many
functions that are realized by the complex interaction of these components. Moreover, very …

A feature-driven requirements engineering approach for software product lines

RP De Oliveira, E Insfran, S Abrahão… - 2013 VII Brazilian …, 2013 - ieeexplore.ieee.org
The importance of Requirements Engineering within software development has long been
established and recognized by researchers and practitioners. Within Software Product Lines …

A framework for automated multi-stage and multi-step product configuration of cyber-physical systems

SA Safdar, H Lu, T Yue, S Ali, K Nie - Software and Systems Modeling, 2021 - Springer
Product line engineering (PLE) has been employed to large-scale cyber-physical systems
(CPSs) to provide customization based on users' needs. A PLE methodology can be …