Software testing is one of the most important phases in the software development life cycle.
Software testing cannot ensure successful outcomes until and unless done perfectly. For …

Cyber–physical systems are commonly highly configurable. Testing such systems is
particularly challenging because they comprise numerous heterogeneous components that …

Abstract Software Product Lines (SPLs) are rarely developed from scratch. Commonly, they
emerge from one product when there is a need to create tailored variants, or from existing …

Feature localization (FL) is a basic activity in re-engineering legacy systems into software
product lines. In this work, we explore the use of the Spectrum-based localization technique …

In large code bases, locating the elements that implement concrete features of a system is
challenging. This information is paramount for maintenance and evolution tasks, although …

Testing is important in software development, but it has high cost. Thus, techniques to
reduce the cost of software testing have been proposed. Model-based testing, one of such …

Highly configurable software gives developers more flexibility to meet different customer
requirements and enables users to better tailor software to their needs. However, variability …

Testing is a fundamental verification activity to produce high-quality software. However,
testing is a costly and complex activity. The success of software testing depends on the …

Cyber-Physical Systems (CPS) have become one of the core-enabling technologies for
multiple domains, such as manufacturing, healthcare, energy and transportation …

Similarly to traditional single-product software, Software Product Lines (SPLs) are constantly
maintained and evolved. However, an unrevealed bug in an SPL can be propagated to a …