News from the MegaM@Rt2 Project
Code Change Based Test Selection in Continuous Integration Environment
Analysing the code changes to select the minimal number of tests to be executed as part of a continuous integration process
MegaM@Rt Toolset Catalog
Introducing the Megam@rt toolset. Over 27 tools (and growing) covering all aspects of our model-based framework for continuous development and runtime validation of complex systems
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks
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 Formal...
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems
Main takeaways of the Model-Driven Engineering for Design-Runtime Interaction in Complex Systems workshop hold as part of the STAF’19 conference
A Systematic Mapping Study on API Documentation Generation Approaches
We need proper tools to create and maintain API documentation. With such tools, the expectation is that creating accurate API documentation will be notably easier and faster, and this will help API users produce better software more quickly.
Vulnerability Assessment of Web Services with Model-based Mutation Testing
We present a model-based mutation testing (MBMT) approach for evaluating the authentication and authorization of web services in a multi-user context