Skip to search formSkip to main contentSkip to account menu

Extended finite-state machine

Known as: EFSM (disambiguation), Efsm, Extended finite state machine 
In a conventional finite state machine, the transition is associated with a set of input Boolean conditions and a set of output Boolean functions. In… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Finite-state machine

Broader (2)

Formal methodsTheory of computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
INCREASING THE FAULT COVERAGE OF TESTS DERIVED AGAINST EXTENDED FINITE STATE MACHINES
Extended Finite State Machines (EFSMs) are widely used when deriving tests for checking whether a software implementation meets… 
2015
2015
Active Learning for Extended Finite State Machines 12
We present a black-box active learning algorithm for inferring extended finite state machines (EFSM)s by dynamic black-box… 
2014
2014
Extended Finite State Machine based test derivation strategies for telecommunication protocols
In this paper, we consider the problem of test derivation based on an Extended Finite State Machine EFSM) that is widely used for… 
2009
2009
A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM)
The extended finite state machine is a powerful model that can capture almost all the aspects of a system. However, testing from… 
2009
2009
Deriving Test Suites for Timed Finite State Machines
This paper is devoted to the derivation of distinguishing sequences for timed Finite State Machines (FSM). Such distinguishing… 
2008
2008
Slicing Extended Finite State Machines-TR-0804 ∗
Slicing is a program analysis technique that has been used to remove unnecessary program statements with respect to a criterion… 
2007
2007
Formal Verification of Business Workflows and Role Based Access Control Systems
An approach for combined modeling of role-based access control systems (RBAC) together with business workflows is presented. The… 
2007
2007
AN INTEGRATED TOOLSET FOR THE DESIGN OF PROTOCOLS WITH QoS REQUIREMENTS
. 
2001
2001
An Extended Finite State Machine Based Generation Method of Test Suite
Compared with other test generation methods, the problem of automatically generating executable test cases is addressed in this… 
2001
2001
Low-Power Synthesis For Extended Finite State Machines
In this paper, we investigate the low-power synthesis for Extended Finite State Machines (EFSM). It is based on the general…