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

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]

@inproceedings{FranciscoC12,
  title = {Automatic generation of test models and properties from UML models with OCL constraints},
  author = {Miguel A. Francisco and Laura M. Castro},
  year = {2012},
  doi = {10.1145/2428516.2428525},
  url = {http://doi.acm.org/10.1145/2428516.2428525},
  researchr = {https://researchr.org/publication/FranciscoC12},
  cites = {0},
  citedby = {0},
  pages = {49-54},
  booktitle = {Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, September 30, 2012},
  editor = {Mira Balaban and Jordi Cabot and Martin Gogolla and Claas Wilke},
  publisher = {ACM},
  isbn = {978-1-4503-1799-3},
}