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.
Period3 Aug 2018
Held atUniversity of Brasília, Brazil
Degree of RecognitionInternational