Testing the design of context-oriented software through mutation testing

In recent years, the Context-Oriented Programming paradigm has emerged, driven by the growing interest in context-aware systems. These systems can adapt their behaviour based on contextual information gathered from the environment at runtime. The RELEASeD research group in UCLouvain has developed a software development approach that combines context-oriented programming with feature modelling to represent behavioural variations and the contextual environment in two separate models. However, designing these models can be challenging due to the inherent complexity of context-oriented systems. This master thesis introduces a mutation-based recommendation system that challenges the design choices of the developer and ensures the accurate representation of their envisioned system. The system efficiently generates a manageable set of questions in a short time, with a linear complexity in the number of contexts and features in the model.