2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.SE2024
Testing Compositionality
Gijs van Cuyck, Lars van Arragon, Jan Tretmans
Compositionality supports the manipulation of large systems by working on their components. For model-based testing, this means that large systems can be tested by modelling and te…
cs.SE2023★ 2 cited
Compositionality in Model-Based Testing
Gijs van Cuyck, Lars van Arragon, Jan Tretmans
Model-based testing (MBT) promises a scalable solution to testing large systems, if a model is available. Creating these models for large systems, however, has proven to be difficu…