In the distributed test architecture, the system under test (SUT) interacts with its environment
at multiple physically distributed ports and the local testers at these ports do not synchronize …

We develop a formal passive testing framework for software systems where parties
communicate asynchronously. Monitors, placed in between the entities, check that a certain …

This paper studies the situation in which the system under test and the system model are
distributed and have the same structure; they have corresponding remote components that …

Ensuring the correctness of complex distributed software systems is a challenging task, the
issue of building frameworks for developing such safe and correct systems still remains a …

Web services allow the communication of heterogeneous systems and are particularly
suitable for building cloud applications. Furthermore, such applications must verify some …

A composite system consists of several components which can be developed separately
and deployed in distributed environments. Executing test cases on such kind of systems …

Web services allow the communication of heterogeneous systems on the Web. These
facilities make them particularly suitable for deploying in the cloud. Although research on …

In the distributed test architecture, the system under test interacts with its environment at
multiple physically distributed ports and the local testers at these ports do not synchronise …