Gijs van Cuyck

According to our database, Gijs van Cuyck authored at least 2 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Compositionality in Model-Based Testing.

Gijs van Cuyck, Lars van Arragon, Jan Tretmans

Proceedings of the Testing Software and Systems, 2023

2021

In-Place-Folding of Non-Scalar Hyper-Planes of Multi-Dimensional Arrays.

Gijs van Cuyck, Sven-Bodo Scholz

Proceedings of the 33rd Symposium on Implementation and Application of Functional Languages, 2021