A process to increase the model quality in the context of model-based testing.

Vladimir Entin, Mathias Winder, Bo Zhang, Andreas Claus

Browse the full ICST paper archive.