by Lola Burgueño | Jul 29, 2019 | article, (meta)modeling, quality
When testing or validating a model we need a diverse set of instances that helps us to analyze the different ways such model can be satisfied. Our work uses classifying terms and constraint strengthening to generate such diverse set.
by Robert Clarisó | Sep 3, 2018 | article, business processes & rules, UML and OCL
Defining the right constraints for any system is a challenging task that risks over-constraining or under-constraining the data. Our method helps designers to find the proper constraints by automatically mutating them to fit the sample data
Recent Comments