ICST 2025
Mon 31 March - Fri 4 April 2025 Naples, Italy
Mon 31 Mar 2025 11:30 - 12:00 at Room A - Coverage and Path-Based Testing

Path-based Testing is a common technique to test System Under Test (SUT) processes. Generally, a directed graph that models a system’s workflow is input to the test path generation process, as well as the selected test coverage criterion. Several algorithms are proposed in the literature that traverse the graph and facilitate the generation of test cases for the selected coverage criterion. However, a plain directed graph used for modeling SUT processes does not allow for the capture of real-life dependencies and constraints between actions in the tested processes, which might pose a limit in application of this technique. Therefore, we defined an extended model that allows the specification of constraints upon the graph’s elements and a set of algorithms that allow the generation of the set of test cases that satisfy the given constraints with the edge coverage. Considering the fact that in path-based testing, there is no platform in which engineers and researchers can share SUT models to be further assembled into open datasets to test performance of evolved path-based testing MBT algorithms, especially for the given problem of test paths generation with the constraints, this paper presents a summary of the problem and a novel management for creation and management of SUT models with constraints that allows the generation of test paths as well as to serve as a platform for creation of such benchmark datasets.

Mon 31 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:20
Coverage and Path-Based TestingA-MOST at Room A
11:00
30m
Talk
Novel Algorithm to Solve the Constrained Path-based Testing Problem
A-MOST
Matej Klima Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Marek Miltner Stanford University, Chad Zanocco Stanford University, Gordon Fraser University of Passau, Sebastian Schweikl University of Passau, Patric Feldmeier University of Passau
11:30
30m
Talk
CPT Manager: An Open Environment for Constrained Path-based Testing
A-MOST
Matej Klima Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Daniel Holotik Czech Technical University in Prague, Maximilian Herczeg Czech Technical University in Prague, Marek Miltner Stanford University, Chad Zanocco Stanford University
12:00
30m
Talk
Towards Improving Automated Testing with GraphWalker
A-MOST
Yavuz Koroglu Graz University of Technology, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Onur Kilincceker University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp and Flanders Make vzw, Franz Wotawa Technische Universitaet Graz
Media Attached