by Dragos Truscan | Apr 30, 2018 | Deliverable
After 6 months of work, the first deliverable of Work Package 3 – MegaM@Rt Runtime Analysis has been released and published on the website. WP3 focuses on defining new methods and tools for creating and managing models at runtime. These methods should be able to...
by Dragos Truscan | Apr 25, 2018 | article
Online model-based testing is an important method for validation of software systems, which checks on the fly the conformance between the behavioral specification of a system and its implementation. In contrast to generating and running offline tests, online testing...