Diverse scenario exploration in model finders using graph kernels and clustering
Clustering of model instances by using graph kernels. Make sure you test your models with the most diverse set of examples!
From informal to formal modeling
We propose an iterative modeling approach where designers can dynamically customize the level of formality required in each iteration in a visual and intuitive way
Incremental verification of software models
If we want software verification techniques to be more adopted in the industry, we need to move to incremental verification approaches, where we reuse previous analysis to avoid reevaluating the whole model every time it is modified.
Fixing defects in integrity constraints via constraint mutation
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
Applying Graph Kernels to Model-Driven Engineering Problems
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.
Modeling: all you need to know
