Coverage-Driven Test Automation for Highly-Configurable Railway Systems. - Domenik Eichhorn; Tobias Pett; Nils Przigoda; Jessica Kindsvater; Christoph Seidl 001; Ina Schaefer (VaMoS, 2023)