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…