Skip to content

Automatic generation of test models and properties from UML models with OCL constraints.

Miguel A. Francisco, Laura M. Castro

VenueAMODELS
Year2012
ProceedingsOCL@MoDELS

Browse the full MODELS paper archive.