Extended Finite State Machine Model-Based Regression Test Suite Reduction Using Dynamic Interaction Patterns

Communications in Computer and Information Science - Information Processing and Management ◽

10.1007/978-3-642-12214-9_82 ◽

2010 ◽

pp. 475-481 ◽

Cited By ~ 1

Author(s):

S. Selvakumar ◽

M. R. C. Dinesh ◽

C. Dhineshkumar ◽

N. Ramaraj

Keyword(s):

Finite State Machine ◽

Dynamic Interaction ◽

State Machine ◽

Test Suite ◽

Interaction Patterns ◽

Machine Model ◽

Regression Test ◽

Finite State ◽

Test Suite Reduction ◽

Extended Finite State Machine

Download Full-text

Stimulus generation for interface protocol verification using the non-deterministic extended finite state machine model

Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. ◽

10.1109/hldvt.2005.1568819 ◽

2006 ◽

Cited By ~ 4

Author(s):

Che-Hua Shih ◽

Juinn-Dar Huang ◽

Jing-Yang Jou

Keyword(s):

Finite State Machine ◽

State Machine ◽

Protocol Verification ◽

Machine Model ◽

Finite State ◽

Stimulus Generation ◽

Extended Finite State Machine ◽

Interface Protocol

Download Full-text

Automatic generation of functional vectors using the extended finite state machine model

ACM Transactions on Design Automation of Electronic Systems ◽

10.1145/225871.225880 ◽

1996 ◽

Vol 1 (1) ◽

pp. 57-79 ◽

Cited By ~ 102

Author(s):

Kwang-Ting Cheng ◽

A. S. Krishnakumar

Keyword(s):

Finite State Machine ◽

Automatic Generation ◽

State Machine ◽

Machine Model ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Automatic functional test generation using the extended finite state machine model

Proceedings of the 30th international on Design automation conference - DAC '93 ◽

10.1145/157485.164585 ◽

1993 ◽

Cited By ~ 143

Author(s):

Kwang Ting Cheng ◽

A. S. Krishnakumar

Keyword(s):

Test Generation ◽

Finite State Machine ◽

State Machine ◽

Functional Test ◽

Machine Model ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

TRANSLATOR OF FINITE STATE MACHINE MODEL PARAMETERS FROM MATLAB ENVIRONMENT INTO HUMAN-MACHINE INTERFACE APPLICATION

Radio Electronics Computer Science Control ◽

10.15588/1607-3274-2011-2-5 ◽

2012 ◽

Vol 0 (2) ◽

Author(s):

A. P. Agibalov ◽

М. А. Poliakov

Keyword(s):

Finite State Machine ◽

State Machine ◽

Human Machine Interface ◽

Model Parameters ◽

Machine Model ◽

Finite State ◽

Machine Interface

Download Full-text

Extended Finite-State Machine Induction using SAT-Solver

IFAC Proceedings Volumes ◽

10.3182/20120523-3-ro-2023.00179 ◽

2012 ◽

Vol 45 (6) ◽

pp. 236-241 ◽

Cited By ~ 3

Author(s):

Vladimir I. Ulyantsev ◽

Fedor N. Tsarev

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Sat Solver ◽

Extended Finite State Machine

Download Full-text

Finite State Machine Model of Fault Diagnosis for Distribution System under Time Sequence Constraints

2020 IEEE/IAS Industrial and Commercial Power System Asia (I&CPS Asia) ◽

10.1109/icpsasia48933.2020.9208588 ◽

2020 ◽

Author(s):

Lingling Shang ◽

Lei Wang ◽

Lin Niu ◽

Yan Zhang ◽

Hongbo Li ◽

...

Keyword(s):

Fault Diagnosis ◽

Distribution System ◽

Finite State Machine ◽

State Machine ◽

Time Sequence ◽

Machine Model ◽

Finite State ◽

Sequence Constraints

Download Full-text

The Extended Finite State Machine and Fault Tolerant Mechanism in Distributed Systems

2009 Seventh ACIS International Conference on Software Engineering Research, Management and Applications ◽

10.1109/sera.2009.33 ◽

2009 ◽

Cited By ~ 2

Author(s):

Shengfa Gao ◽

Xin Li ◽

Ruihua Zhang

Keyword(s):

Distributed Systems ◽

Finite State Machine ◽

Fault Tolerant ◽

State Machine ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Automatic test generation from communicating extended finite state machine (CEFSM)-based models

Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002 ◽

10.1109/isorc.2002.1003693 ◽

2003 ◽

Cited By ~ 13

Author(s):

J.J. Li ◽

W.E. Wong

Keyword(s):

Test Generation ◽

Finite State Machine ◽

State Machine ◽

Automatic Test Generation ◽

Automatic Test ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Inferring extended finite state machine models from software executions

Empirical Software Engineering ◽

10.1007/s10664-015-9367-7 ◽

2015 ◽

Vol 21 (3) ◽

pp. 811-853 ◽

Cited By ~ 45

Author(s):

Neil Walkinshaw ◽

Ramsay Taylor ◽

John Derrick

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Extended Finite-State Machine Induction Using SAT-Solver

2011 10th International Conference on Machine Learning and Applications and Workshops ◽

10.1109/icmla.2011.166 ◽

2011 ◽

Cited By ~ 11

Author(s):

V. Ulyantsev ◽

F. Tsarev

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Sat Solver ◽

Extended Finite State Machine

Download Full-text