Mutation testing realizes the idea of using artificial defects to support testing activities.
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …

Feature models have been used since the 90s to describe software product lines as a way of
reusing common parts in a family of software systems. In 2010, a systematic literature review …

The analysis of software product lines is challenging due to the potentially large number of
products, which grow exponentially in terms of the number of features. Product sampling is a …

Abstract Design of self-adaptive software-intensive cyber–physical systems (siCPS)
operating in dynamic environments is a significant challenge when a sufficient level of …

The Feature Model (FM) is a fundamental artifact of the Software Product Line (SPL)
engineering. It represents all SPL variabilities and commonalities and is generally used to …

Highly-configurable systems encompass thousands of interdependent configuration options,
which require a non-trivial configuration process. Decision propagation enables a …

Software development projects are built on top of external libraries and tools that help
manage code and databases and/or facilitate deployment. The external libraries that assist …

Testing every member of a product line individually is often impracticable due to large
number of possible product configurations. Thus, feature models are frequently used to …

Regression testing, as an important part of the software life cycle, ensures the validity of
modified software. Researchers' focus of this research is on functional requirement-based …

Feature modeling is a technique to model the variability of configurable systems. When
working with feature models, it is possible to analyze them, for instance, by counting the …