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

Miguel A. Francisco Laura M. Castro

Published in: OCL@MoDELS (2012)

Keyphrases

uml models
test cases
metamodel
databases
probabilistic model
constraint sets
constraint satisfaction
information systems
training data
image data
software engineering
open source
image quality
fine grained
process model
test suite