Abstract:  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 this part by mentioning the role of these formalisms in other tasks too, such as configuration and HCI engineering.The second part will focus on the most recent works on mutation testing for non-functional attributes: time and security.

Short bio: Dr. Gilles Perrouin received the joint PhD degree from the University of Luxembourg and Namur. Since 2017, he is an FNRS research associate (tenured scientist) hosted at the Faculty of Computer Science, University of Namur, Belgium. He is a member of the PReCISE research center and the Namur Digital Institute, in which he explores software product lines, modelling and model-based testing.