A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
In this paper we will present a survey on the test case generation process and tools we are currently developing. It will reflect the new ideas that we're pursuing while keeping in mind our previous work on formal specification languages and theory of test case generation. The model based test case generation method we propose is based on a subset of the Unified Modelling Language (UML) and the Object Constraint Language (OCL). It uses UML diagrams in what concerns the conceptual point of viewdoi:10.1007/11423331_6 fatcat:6ksj42n7anguhkdf4rgdjabxua