Authors: Jordi Cabot, Loli Burgueño, Martin Gogolla, Robert Clarisó
Tags: 2019, conceptual modeling
Generating valid instantiations for a conceptual schema is instrumental in ensuring its quality by means of verification, validation or testing. This problem becomes even more challenging when we also require that the computed instantiations exhibit significant differences among them, i.e., they are diverse. In this work, we propose an automatic method that guarantees synthesizing a diverse set of instantiations from a conceptual schema by combining model finders, classifying terms and constraint strengthening techniques. This technique has been implemented in the USE tool for UML/OCL.Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-030-33223-5_42
