Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,322 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Finite-state machine
Broader (2)
Formal methods
Theory 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
M. Shafie
,
W. Kadir
2017
Corpus ID: 55219799
Regression testing is done to test the modified version of a software, however re-testing all test cases are very inefficient…
Expand
2012
2012
Supervisory control of a kind of extended finite state machines
Xiangyun Wang
,
K. Cai
Chinese Control and Decision Conference
2012
Corpus ID: 45094156
The supervisory control theory of discrete event systems modeled as finite state machines (FSMs) have been studied for many years…
Expand
2009
2009
A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM)
A. Kalaji
,
R. Hierons
,
S. Swift
Testing: Academic and Industrial Conference…
2009
Corpus ID: 16826953
The extended finite state machine is a powerful model that can capture almost all the aspects of a system. However, testing from…
Expand
2008
2008
Slicing Extended Finite State Machines-TR-0804 ∗
K. Androutsopoulos
,
D. Binkley
,
D. Clark
,
M. Harman
,
L. Tratt
2008
Corpus ID: 129939924
Slicing is a program analysis technique that has been used to remove unnecessary program statements with respect to a criterion…
Expand
Highly Cited
2006
Highly Cited
2006
Symbolic Execution Techniques for Test Purpose Definition
Christophe Gaston
,
P. L. Gall
,
Nicolas Rapin
,
A. Touil
International Conference on Testing (of Software…
2006
Corpus ID: 16470772
We propose an approach to test whether a system conforms to its specification given in terms of an Input/Output Symbolic…
Expand
2003
2003
Decomposition of extended finite state machine for low power design
MingHung Lee
,
TingTing Hwang
,
Shi-Yu Huang
Design, Automation and Test in Europe Conference…
2003
Corpus ID: 3227476
Power reduction can be achieved by turning off portions of circuits that are idle. Unlike previous work, which focused only on…
Expand
2003
2003
Don't cares in logic minimization of extended finite state machines
Yunjian Jiang
,
R. Brayton
Proceedings of the ASP-DAC Asia and South Pacific…
2003
Corpus ID: 15684470
Extended finite state machines (EFSMs) have been proposed to model control oriented systems. A version of this, with the data…
Expand
2002
2002
Expanding an extended finite state machine to aid testability
R. Hierons
,
T. Kim
,
H. Ural
Proceedings 26th Annual International Computer…
2002
Corpus ID: 12583528
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This…
Expand
2001
2001
Low-Power Synthesis For Extended Finite State Machines
Chi Huang
,
Shi-yu
2001
Corpus ID: 16441696
In this paper, we investigate the low-power synthesis for Extended Finite State Machines (EFSM). It is based on the general…
Expand
1992
1992
Axiomatic test sequence generation for extended finite state machines
Chang-Jia Wang
,
Ming T. Liu
[] Proceedings of the 12th International…
1992
Corpus ID: 44730182
A test suite generation method is proposed for conformance testing of communication protocols to solve the problem of generating…
Expand
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)
ACCEPT & CONTINUE