Compositional testing concerns the testing of systems that consist of communicating
components which can also be tested in isolation. Examples are component based testing …

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 deals with testing distributed software systems. In the past, two important
problems have been determined for executing tests using a distributed test architecture …

Websites are essential for learners' access to information. However, due to the lack of
accessibility and usability of websites, students with disabilities who solely rely on screen …

The paper studies testing based on input/output transition systems, also known as
input/output automata. It is assumed that a tester can never prevent an implementation …

We study the generation of test cases for nondeterministic real-time systems. We define a
class of Determinizable Timed Automata (DTA), in order to specify the system under test …

This paper studies model-based input-output conformance testing in the presence of
queues. Normally, it is assumed that a test case communicates synchronously with an …

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 …

Testing is an essential part of the software development cycle. Unfortunately, testing on
constrained devices is currently very challenging. First, the limited memory of constrained …

The article introduces an extension of the well-known conformance relation ioco on labeled
transition systems (LTS) with refused inputs and forbidden actions. This extension helps to …