In a growing number of domains, such as IoT for e-health and smart cities, the provisioning
of end-to-end services to the users depends on the proper interoperation of multiple …

Evermore end-to-end digital services depend on the proper interoperation of multiple
products, forming a distributed system, often subject to timing requirements. To ensure …

The provisioning of a growing number of services depends on the proper interoperation of
multiple products, forming a new distributed system, often subject to timing requirements. To …

In a growing number of domains, the provisioning of end-to-end services to the users
depends on the proper interoperation of multiple systems, forming a new distributed system …

Over the last few years, there has been an increase in the use of IoT devices. Nowadays, IoT
systems rely on device-to-device communication, based on a centralised server in the cloud …

To ensure interoperability and the correct behavior of heterogeneous distributed systems in
key scenarios, it is important to conduct automated integration tests, based on distributed …

To ensure interoperability and the correct end-to-end behavior of heterogenous distributed
systems, it is important to conduct integration tests that verify the interactions with the …

Evermore end-to-end digital services in several domains (e-health, smart cities, etc.) depend
on the proper interoperation of multiple products, forming a distributed system, often subject …

Objectives. Due to this problem, this study is to investigate whether a model-based testing
method can overcome the challenge of manual testing and improve the testing effectiveness …