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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
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
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
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
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
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
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
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
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
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
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?