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.
We present our ecosystem of tools to facilitate the automatic discovery, merging, quality assurance and code-generation of REST APIs, relying on standard specifications like OpenAPI and OData.
We propose to employ graph kernels for clustering software modeling artifacts. Among other benefits, this would improve the efficiency and usability of a variety of software modeling activities, e.g., design space exploration, testing or verification and validation.
Our special issue on Quality in Model-Driven Engineering has now been finalized and published online in the Computer Languages, Systems & Structures journal linked to the Quality Aspects in Model Driven Engineering track at QUATIC 2016
Correctness of UML diagrams annotated with OCL constraints can be checked using bounded verification. We show an automatic technique to choose the best bounds
Our review of Dezyne, a great tool to quickly model, verify and generate component-based software.
