During the early stages of software development, engineers find themselves dealing with a large collection of models. Lack of efficient management of these models results in duplicated artifacts, ...

In this paper we present a model-based testing approach where we integrate UML, UML-B and the Qtronic test generator tool, with the purpose of increasing the quality of models used for test generation ...