Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (Extended Version)

DOI:10.4121/49fe4e0a-a92a-4fd6-b567-9dd408ff9867.v1
The DOI displayed above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
DOI: 10.4121/49fe4e0a-a92a-4fd6-b567-9dd408ff9867
Datacite citation style:
van der Wal, Djurre; Gerhold, Marcus; Rensink, Arend; Stoelinga, Mariëlle (2025): Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (Extended Version). Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/49fe4e0a-a92a-4fd6-b567-9dd408ff9867.v1
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite

Dataset

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.

History

  • 2025-02-12 first online, published, posted

Publisher

4TU.ResearchData

Format

pdf, zip, java, exe, dll

Organizations

University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS), Formal Methods and Tools (FMT)

DATA

Files (6)