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… (More)
Wikipedia

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
Distinguishing extended finite state machine configurations using predicate abstraction
Extended Finite State Machines (EFSMs) provide a powerful model for the derivation of functional tests for software systems and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2016
2016
Active learning for extended finite state machines
We present a black-box active learning algorithm for inferring extended finite state machines (EFSM)s by dynamic black-box… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
Amorphous Slicing of Extended Finite State Machines
Slicing is useful for many software engineering applications and has been widely studied for three decades, but there has been… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2011
2011
Extended Finite-State Machine Induction Using SAT-Solver
In the paper we describe the extended finite-state machine (EFSM) induction method that uses SAT-solver. Input data for the… (More)
  • figure 1
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2006
2006
Generating Test Cases for Web Services Using Extended Finite State Machine
Web services utilize a standard communication infrastructure such as XML and SOAP to communicate through the Internet. Even… (More)
  • figure 1
  • table 2
  • table 1
  • table 3
  • figure 2
Is this relevant?
2003
2003
Decomposition of Extended Finite State Machine for Low Power Design
Power reduction can be achieved by turnig off portions of circuits that are idle. Unlike previous work which focused only on… (More)
Is this relevant?
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… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Automatic generation of functional vectors using the extended finite state machine model
We present a method of automatic generation of functional vectors for sequential circuits. These vectors can be used for design… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Automatic Functional Test Generation Using The Extended Finite State Machine Model
We present a method of automatic generation of functional vectors for sequential circuits. A high-level description of the… (More)
  • figure 2
  • figure 3
  • figure 1
  • figure 5
  • figure 8
Is this relevant?
1990
1990
Method of analysing extended finite-state machine specifications
Formal specifications are the basis for automated verification and implementation in communication software. The paper gives a… (More)
  • figure 7
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?