The paper is devoted to model based testing against probabilistic FSMs. Differently from our
prior work in 2021, we consider checking sequences and possibilities of test suite …

The problem of generating tests detecting all logical and timing faults which can occur in real-
time systems is challenging; this is because the number of (timing) faults is potentially too …

Faults in safety critical real-time systems are not only logical, but they can correspond to
violations of timing constraints. They must be detected to avoid system failures with adverse …

Test oracles are usually used to evaluate the behaviors of systems under test to reveal
faults. In a typical conformance testing scenario, a test oracle is a deterministic finite state …

Learning algorithms produce software models for realising critical classification tasks.
Decision trees models are simpler than other models such as neural network and they are …

The work presents a number of contributions in the area of model based testing (MBT), on
the one hand, and some MBT applications, on the other hand. MBT generally relies on a …

Homing sequence derivation for nondeterministic finite state machines (NFSMs) has
important applications in software/hardware system testing and verification. Unlike prior …

Precise test oracles for reactive systems such as critical control systems and communication
protocols can be modelled with deterministic finite state machines (FSMs). Among other …