Variability is an inherent part of modern software and systems and deserves a first-class treatment in software and systems engineering. Moreover, due to the sheer size of the variability space, variability needs to be treated rigorously and in a structured manner in order to come up with meaningful assurances about this huge space. In this talk, I will start with some basic results about modelling behavioural variability. Subsequently, I present some techniques on model-based testing based on variability-aware models and finally, conclude with recent techniques on learning behavioural models from variability-intensive systems.

The material present in this talk on based on about a decade of joint research with many people including Harsh Beohar, Andre Takeshi Endo, Vanderson Hafemann Fragal, Fatemeh Ghassemi, Malte Lochau, Lars Luthmann, Carlos Diego Nascimento Damasceno, Adenilso Simao, Uraz Türker, and Mahsa Varshosaz.