Gijs van Cuyck

According to our database¹, Gijs van Cuyck authored at least 3 papers between 2021 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Testing Compositionality.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023

Compositionality in Model-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2023

2021

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

[BibT_eX]

[DOI]

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