Verification & Testing – Details

Event Timeslots (5)

Friday
11:00 - 11:20
Family-based model checking of fMultiLTL properties. Aleksandar Dimovski, Sami Lazreg, Maxime Cordy and Axel Legay
splc-2023

Friday
11:20 - 11:40
Feature-oriented Test Case Selection during Evolution of High-Configurable Systems. Willian Douglas Ferrari Mendonça, Wesley K. G. Assunção and Silvia Regina Vergilio
splc-2023

Friday
11:40 - 12:00
Continuous T-Wise Coverage. Tobias Pett, Tobias Heß, Sebastian Krieter, Thomas Thüm and Ina Schaefer
splc-2023

Friday
12:00 - 12:15
Test Scenario Generation for Feature-Based Context-Oriented Software Systems. Pierre Martou, Kim Mens, Benoît Duhoux and Axel Legay
splc-2023

Friday
12:15 - 12:35
Model-based Testing for a Family of Mobile Applications: Industrial Experiences. Stefan Fischer, Rudolf Ramler, Wesley K. G. Assunção, Alexander Egyed, Christian Gradl and Sebastian Auberger
splc-2023