Abstract Context: Software Testing is a costly activity since the size of the test case set tends
to increase as the construction of the software evolves. Test Case Prioritization (TCP) can …

Many approaches for testing configurable software systems start from the same assumption:
it is impossible to test all configurations. This motivated the definition of variability-aware …

Abstract Cyber-Physical Systems (CPSs) integrate computation with physical processes.
These systems are usually highly configurable to address different customer needs and are …

Abstract A Featured Transition System (FTS) models the behaviour of all products of a
Software Product Line (SPL) in a single compact structure, by associating action-labelled …

Context: Testing is one of the techniques that can assure the quality of software including the
domain of Software Product Line (SPL). Various techniques have been deliberated to …

Model-based mutation analysis is a powerful but expensive testing technique. We tackle its
high computation cost by proposing an optimization technique that drastically speeds up the …

Feature-based context-oriented programming reconciles ideas from context-oriented
programming, feature modelling and dynamic software product lines. It offers a programming …

Abstract Product Line Engineering (PLE) is a crucial practice in many software development
environments where software systems are complex and developed for multiple customers …

Approaches for automatic crash reproduction aim to generate test cases that reproduce
crashes starting from the crash stack traces. These tests help developers during their …

From business processes to course management, variability-intensive software systems
(VIS) are now ubiquitous. One can configure these systems' behaviour by activating options …