ICT Verification and Validation
Day 2 - September 24 (Room-B)
14:00–16:00	Session 1
14:00–14:05	Welcome	Eda Marchetti
14:05–15:00	Keynote talk: Survival in the Dynamic Landscape of Verification, Validation and Certification	Sasikumar Punnekkat (Mälardalen University, Sweden)
15:00–15:30	Analyzing the Applicability of a Combinatorial Testing Tool in an Industrial Environment	Nelly Condori-Fernández (Vrije Universiteit van Amsterdam, The Netherlands), Peter M. Kruse (Berner and Mattner Systemtechnik, Berlin, Germany), Tanja E. J. Vos (-ProS Research Center, Universitat Politcnica de Valencia, Spain), Etienne Brosse and Alessandra Bagnato  (SOFTEAM R&D, France).
15:30–16:00	An automated testing framework of model-driven tools for XACML policy specification	Antonia Bertolino, Said Daoudagh, Francesca Lonetti and Eda Marchetti (Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”  Consiglio Nazionale delle Ricerche (CNR))
16:30–18:00	Session 2
16:30–17:00	Automatic test set generation for function block based systems using model checking	Jussi Lahtinen (VTT Technical Research Centre of Finland)
17:00–17:30	Model-based GUI for Mobile Applications	Pedro Costa, Miguel Nabuco (Department of Informatics Engineering, Faculty of Engineering of the University of Porto, Portugal) and Ana Paiva (INESC TEC, Department ofmInformatics Engineering, Faculty of Engineering of the University of Porto)
17:30–17:45	Validation of Railway Interlocking Systems by Model Based Testing, a Case Study	Andrea Bonacchi, Alessandro Fantechi (Dipartimento di Ingegneria dell’Informazione Università di Firenze, Florence, Italy)
17:45–18:00	On testing against partial non-observable specifications	Natalia Kushik, Nina Yevtushenko  (Department of Information Technologies Tomsk State University, Russia) and Ana Cavalli (Department of Software Networks TELECOM SudParis Evry, France)