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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Regression testing is done to test the modified version of a software, however re-testing all test cases are very inefficient… 
2012
2012
The supervisory control theory of discrete event systems modeled as finite state machines (FSMs) have been studied for many years… 
2009
2009
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 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
We propose an approach to test whether a system conforms to its specification given in terms of an Input/Output Symbolic… 
2003
2003
Power reduction can be achieved by turning off portions of circuits that are idle. Unlike previous work, which focused only on… 
2003
2003
Extended finite state machines (EFSMs) have been proposed to model control oriented systems. A version of this, with the data… 
2002
2002
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This… 
2001
2001
In this paper, we investigate the low-power synthesis for Extended Finite State Machines (EFSM). It is based on the general… 
1992
1992
A test suite generation method is proposed for conformance testing of communication protocols to solve the problem of generating…