Automatic test case generation from UML models and OCL expressions
Stephan Weißleder, Dehla Sokenou · 2008
Abstract: In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria. We introduce our current prototype implementation, compare it to commercial tools, and sketch shortcomings and further development. 1