2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
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…