Abstract Model-based testing is focused on testing techniques which rely on the use of
models. The diversity of systems and software to be tested implies the need for research on …

As systems have been and are becoming more and more complex, the task of quality
assurance is increasingly challenging. Model-based testing is a research field addressing …

We present methods for testing and incremental testing of systems modeled as finite state
machines with timeouts (TFSMs). For testing, we establish an appropriate fault model and …

The paper presents a method for deriving a complete test suite for a timed deterministic FSM
with time-outs when only the upper bound on the number of states and the largest finite time …

This paper aims to present a set of tools that could be used in order to check the
conformance of an Cooperative-Intelligent Transport System (C-ITS). These tools will …

Communication software systems are considered as critical national infrastructures that
support users, corporations, and governments. Their description, implementation, and …

Abstract Finite State Machines (FSMs) are widely used for verification and testing of many
reactive systems and many methods are proposed for generating tests from FSMs with the …

State identi cation is the well-known problem in the theory of Finite State Machines (FSM)
where homing sequences (HS) are used for the identi cation of a current FSM state, and this …

Abstract Finite State Machines (FSMs) are widely used for analysis and synthesis of
components of control systems. In order to take into account time aspects, timed FSMs are …

State identification is a well-known problem in the theory of finite state machines (FSM). In
this theory homing sequences (HS) allow to identify the current state of an FSM and are …