Automatic generation of test models and properties from UML models with OCL constraints | Publicación