ICST 2024
Mon 27 - Fri 31 May 2024 Canada

This program is tentative and subject to change.

Mon 27 May 2024 11:30 - 12:00 at Room 4 - Session 2

Software Product Lines (SPLs) are commonly used for representing highly configurable systems, by using Feature Models (FMs). Like any other systems, SPLs (and consequently FMs) undergo changes over time, and developers may inadvertently introduce errors during this process. Consequently, it is of utmost importance to rigorously test SPLs during their evolution, in particular, by analyzing the changes introduced from one version of FM to its evolved counterpart. This paper presents the concept of ``specificity'', enabling testers to discern tests specifically tailored for evaluating a model evolution. In addition, we present SPECGEN, a BDD-based algorithm that aims at producing more specific combinatorial test suites. We conduct a comparative analysis between SPECGEN and established approaches. Our experiments demonstrate that employing SPECGEN results in test suites with higher specificity, maintaining the same size, and accomplishing this in a shorter time compared to conventional methods.

This program is tentative and subject to change.

Mon 27 May

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Session 2A-MOST at Room 4
11:00
30m
Day opening
Welcome to 20 Years of A-MOST
A-MOST
Florian Lorber Silicon Austria Labs, Cristina Seceleanu Mälardalen University, Martin Tappler TU Graz; Silicon Austria Labs
11:30
30m
Full-paper
Testing the Evolution of Feature Models with Specific Combinatorial Tests
A-MOST
Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Angelo Gargantini University of Bergamo
12:00
30m
Full-paper
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
A-MOST
Sean Kauffman Aalborg University, Carlos Moreno , Sebastian Fischmeister University of Waterloo, Canada