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.
Period26 Jul 2018
Held atFederal University of Bahia, Brazil
Degree of RecognitionInternational