The increasing complexity and criticality of software systems have led to growing interest in
automated test generation. One of the most promising approaches is to use model-based …

Abstract For Finite State Machines (FSMs) a rich testing theory has been developed to
discover aspects of their behavior and ensure their correct functioning. Although this theory …

State identification sequences, such as homing and distinguishing sequences (HS and DS),
are widely used in FSM (Finite State Machine) based testing in order to reduce the size of a …

State identification is a long standing problem in the area of Finite State Machine (FSM)
based modeling and testing of discrete event systems. For the identification of the current …

An incremental approach is proposed for deriving an adaptive Distinguishing Test Case
(DTC) for a subset of states of an observable non-deterministic Finite-State Machine (FSM) …

Complete test suites are of special interest in the field of model-based testing, as they
guarantee high fault detection capabilities under well-specified assumptions. The variety …

There are many research papers devoted to the state identification problem of finite state
machines (FSMs) which are widely used for analysis of discrete event systems. A …

(Finite State Machines) based testing for state identification and can significantly reduce the
size of a returned complete test. However, such sequences not always exist for deterministic …

Конечные автоматы широко используются при построении проверяющих тестов для
управляющих систем с гарантированной полнотой обнаружения неисправностей. В …

For Finite State Machines (FSMs) a rich testing theory has been developed to discover
aspects of their behavior and ensure their correct functioning. Although this theory is widely …