Activity: Talk or presentation types › Invited talk
Description
In this talk, we will cover the specification of variability-intensive systems using feature models and featured transition systems. After having described the syntax and semantics of these formalisms, we will explain how they can be exploited in automated quality assurance tasks: model-checking and testing. We will wrap-up by mentioning the role of these formalisms in other tasks too, such as configuration and HCI engineering.