Djurre van der Wal
Datasets
- Source code of the jEULYNX prototype framework
- Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
- Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (Extended Version)