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 …

The problem of deciding whether an observed behavior is acceptable is the oracle problem.
When testing from a finite state machine (FSM), it is easy to solve the oracle problem and so …

This paper introduces a formal modeling approach for compositional specification of both
functionality and timing of manufacturing systems. Functionality aspects can be considered …

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 …

Some systems interact with their environment at physically distributed interfaces called ports
and we separately observe sequences of inputs and outputs at each port. As a result we …

Efficient manufacturing of products has become more important than ever. Manufacturing
systems that produce these products are becoming increasingly complex. They need to be …

CONTEXT: Input/output transition system (IOTS) models are commonly used when next
input can arrive even before outputs are produced. The interaction between the tester and …

Runtime verification is checking whether a system execution satisfies or violates a given
correctness property. A procedure that automatically, and typically on the fly, verifies …

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 …