ICST 2025
Mon 31 March - Fri 4 April 2025 Naples, Italy

This program is tentative and subject to change.

Mon 31 Mar 2025 12:00 - 12:30 at Room A - Coverage and Path-Based Testing

GraphWalker is a widespread automated model-based testing tool that generates executable test cases from graph models of a system under test. GraphWalker implements only two random test generation algorithms and has no optimization-based algorithm, where an evaluation of its performance in test lengths and coverage remains an open question in the literature. In this work, we performed experiments on three realistic systems to evaluate redundancy, coverage, and length of GraphWalker test cases. The experimental results show that even the best GraphWalker test cases are highly redundant, limited in edge pair coverage, and need significantly longer test cases to increase edge pair coverage. Overall, we establish a baseline to compare future optimization-based algorithms with, while the amount of improvement and its impact are important research questions for the future.

This program is tentative and subject to change.

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
Hide past events
:
:
:
: