Work

Improving model-based test generation by model decomposition