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.
2017
2017
Test Case Prioritization based on Extended Finite State Machine Model
Regression testing is done to test the modified version of a software, however re-testing all test cases are very inefficient… 
2012
2012
Supervisory control of a kind of extended finite state machines
The supervisory control theory of discrete event systems modeled as finite state machines (FSMs) have been studied for many years… 
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… 
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… 
Highly Cited
2006
Highly Cited
2006
Symbolic Execution Techniques for Test Purpose Definition
We propose an approach to test whether a system conforms to its specification given in terms of an Input/Output Symbolic… 
2003
2003
Decomposition of extended finite state machine for low power design
Power reduction can be achieved by turning off portions of circuits that are idle. Unlike previous work, which focused only on… 
2003
2003
Don't cares in logic minimization of extended finite state machines
Extended finite state machines (EFSMs) have been proposed to model control oriented systems. A version of this, with the data… 
2002
2002
Expanding an extended finite state machine to aid testability
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. 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… 
1992
1992
Axiomatic test sequence generation for extended finite state machines
A test suite generation method is proposed for conformance testing of communication protocols to solve the problem of generating… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)