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.
Improving research quality thanks to modeling tools: model-based analysis of process descriptions
The quality of process descriptions in research is essential to reproducibility and theory building.
We suggest that model-based analysis can contribute to the improvement and concise communication of such descriptions. We demonstrate this by applying a model-based framework – PROVE – to restructure and analyze several process descriptions.
Automatic Generation of Behavioural Scripts from UML sequence diagrams
Specification of sequence diagrams is not easy. They are more complex than they appear to be and support provided by most UML modeling tools is often limited (e.g. no advanced checking).
Gadolinium: Monitoring Non-Functional Properties of REST APIs
Quality aspects of an API (availability, performance,…) are key aspects to take into account when deciding which API to choose. Our testing framework provides some insights on these non-functional properties as they are typically not disclosed
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!
Modeling: all you need to know
