Miguel A. Francisco, Laura M. Castro. Automatic generation of test models and properties from UML models with OCL constraints. In Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke, editors, Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, September 30, 2012. pages 49-54, ACM, 2012. [doi]
Abstract is missing.