CONTEXT: Complex software-intensive systems comprise many subsystems that are often
based on heterogeneous technological platforms and managed by different organizational …

Feature-sensitive verification pursues effective analysis of the exponentially many variants of
a program family. However, researchers lack examples of concrete bugs induced by …

Variability-sensitive verification pursues effective analysis of the exponentially many variants
of a program family. Several variability-aware techniques have been proposed, but …

Context In industrial settings products are developed by more than one organization.
Software vendors and suppliers commonly typically maintain their own product lines, which …

In industrial settings, products are rarely developed by one organization alone. Software
vendors and suppliers typically maintain their own product lines, which can contribute to a …

In mechatronic and embedded systems, variability stretches from customer-visible features
to implementation features, which manifest in software, hardware, and mechanical parts. A …

Large-scale software-intensive systems often consist of multiple heterogeneous and loosely
coupled systems, which work together to form a system of systems (SoS). The individual …

Mechatronic products combine hardware and software; and today, much of software
engineering is directly or indirectly involved to support mechatronic design. Due to the high …

Industrial experiences show that support for sharing and deploying product line models and
tools is essential when institutionalizing product line engineering. This paper presents key …

Software Product Line Engineering is inherently complex. This complexity increases further
if multiple product line infrastructures are composed to yield the final products, an approach …