by Junaid Iqbal | Jul 24, 2019 | article
The quality of the specifications used for test generation plays an essential role in the quality of the generated tests. One approach to improve the quality of the UML specification is the use of executable models specified using the Foundational Subset for...
by Abel Gómez Llana | Jun 10, 2019 | article
Existing modeling tools provide direct access to the most current version of a model but very limited support to inspect the model state in the past. This typically requires looking for a model version (usually stored in some kind of external versioning system like...
by Hugo Bruneliere | May 13, 2019 | article
This Ph.D. thesis on model-based approaches was partially realized in MegaM@Rt2. For more details, the full manuscript is available from here and the corresponding defense slides are visible from here. Notably, this research work resulted in various scientific...
by Juhani Wilen | Mar 22, 2019 | article
In Continuous Integration (CI) systems, new changes in code are integrated into the existing codebase continuously. In such systems, it is important that the developers committing the changes receive feedback of their latest changes quickly in order to know if the...
by Dragos Truscan | Jan 14, 2019 | article
Summary of the new research contribution to MegaMart2: A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks by Jonatan Wiik, Johan Ersfolk and Marina Waldén presented at MEMOCODE’18 (16th ACM-IEEE International Conference on...
by Romina Eramo | Dec 18, 2018 | article
The first Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun 2018) took place during the STAF 2018 week in Toulouse, France. The workshop report paper is “Model-Driven Engineering for Design-Runtime Interaction in...