cff-version: 1.2.0
abstract: "<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>"
authors:
  - family-names: van der Wal
    given-names: Djurre
    orcid: "https://orcid.org/0000-0003-4214-5438"
  - family-names: Gerhold
    given-names: Marcus
    orcid: "https://orcid.org/0000-0002-2655-9617"
  - family-names: Rensink
    given-names: Arend
    orcid: "https://orcid.org/0000-0002-1714-6319"
  - family-names: Stoelinga
    given-names: Mariëlle
    orcid: "https://orcid.org/0000-0001-6793-8165"
title: "Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (Extended Version)"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/49fe4e0a-a92a-4fd6-b567-9dd408ff9867.v1
license: MIT
date-released: 2025-02-12