TY - DATA
T1 - Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (Extended Version)
PY - 2025/02/12
AU - Djurre van der Wal
AU - Marcus Gerhold
AU - Arend Rensink
AU - Mariëlle Stoelinga
UR - 
DO - 10.4121/49fe4e0a-a92a-4fd6-b567-9dd408ff9867.v1
KW - Conformance testing
KW - Model-based testing
KW - Programmable logic controllers
KW - Railway infrastructure
KW - Railway signalling
KW - Railways
KW - Safety-critical systems
KW - Simulation software
KW - Single-Input-Changes
KW - Traffic management
N2 - <p>This repository contains (i) the source code of a Java project called "jEULYNX"; (ii) the extended source code and binaries of a software simulator of a EULYNX Point subsystem; and (iii) PDFs with instructions on how to install the software and how to reproduce the findings from our paper. The jEULYNX software is the implementation of our SIC test suite generation approach, and runs on any platform that supports a JVM version 18 or higher. The extended software simulator is our case study, and runs on MS Windows 10/11 platforms.</p>
ER -