Many modern software systems are composed of multiple execution flows that run
simultaneously, spanning from applications designed to exploit the power of modern multi …

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 present a complete framework to formally test systems with distributed ports where some
choices are probabilistically quantified while other choices are non-deterministic. We define …

A test suite is m-complete for finite state machine (FSM) M if it distinguishes between M and
all faulty FSMs with m states or fewer. While there are several algorithms that generate m …

We propose a theoretical testing framework and a test generation algorithm for concurrent
systems specified with true‐concurrency models, such as Petri nets or networks of automata …

Abstract Model-based testing has mainly focused on models where concurrency is
interpreted as interleaving (like the ioco theory for labeled transition systems), which may be …

If the system under test interacts with its environment at physically distributed ports, there is a
separate independent tester at each port, and there is no global clock then we are testing in …

The ioco relation has become a standard in model-based conformance testing. The co-ioco
conformance relation is an extension of this relation to concurrent systems specified with …

There has been significant interest in distributed testing from an input–output transition
system. Previous work introduced an implementation relation dioco that was defined in …

It has been shown that annotating Petri net unfoldings with time stamps allows for building
distributed testers for distributed systems. However, the construction of the annotated …