Last updated on Monday, October 06, 2025
@inproceedings{Koroglu2025AMOST,
author = {Yavuz Koroglu and Mutlu Beyaz{\i}t and
Onur Kilincceker and Serge Demeyer and Franz Wotawa},
booktitle = {Proceedings {A-MOST} 2024 (21th Workshop on Advances
in Model Based Testing)},
pages = {54 -- 58},
title = {Towards Improving Automated Testing with GraphWalker},
year = {2025},
abstract = {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.},
annote = {workshoppaper},
doi = {10.1109/ICSTW64639.2025.10962480},
}