In this research, MBT (Model-Based Testing) with the Extended Finite State Machine (EFSM) approach is proposed as a research method.

This paper presents a test suite generation algorithm for EFSMs. The algorithm produces a set of feasible transition paths (test cases) that cover all ...

Aug 18, 2021 · Test suites derived from extended finite state machine specifications are assessed against code- and model-based faults.

Sep 21, 2022 · This paper develops an open source test generation tool for testing EFSM-specified systems, PTSG, to support the automatic generation of executable test cases.

Abstract. Extended finite state machines (EFSMs) provide a rigorous model for the derivation of functional tests for software systems and protocols. Various ...

The study investigates the main issues in EFSM-based testing, including cost, continuous data, infeasible path, complex data structure, and concurrency. The ...

Mar 31, 2016 · Extended Finite State Machines (EFSMs) provide a powerful model for the derivation of functional tests for software systems and protocols.

A polynomial time algorithm is given that determines whether a finite-state machine has an adaptive distinguishing sequence and an efficient algorithm that ...

In this paper, we propose an integrated search-based approach to automate testing from an EFSM. Method The approach has two phases.

Oct 22, 2024 · Extended finite state machines (EFSMs) provide a rigorous model for the derivation of functional tests for software systems and protocols.