Automatic generation of test models and properties from UML models with OCL constraints
Miguel Ángel Francisco, Laura M. Castro · 2012
Model-Based Testing and Property-Based Testing are two testing methodologies that usually facilitate the automation of the generation of test cases, using either models or properties as basis to derive complete test suites. In doing so, they also contribute to reduce both the source code needed for testing purposes and the time spent on writing those tests, hence saving effort and increasing maintainability.