An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs

Proceedings of the Institute for System Programming of RAS ◽

10.15514/ispras-2015-27(3)-12 ◽

2015 ◽

pp. 161-182 ◽

Author(s):

I. Melnichenko ◽

A. Kamkin ◽

S. Smolov

Keyword(s):

Test Generation ◽

Finite State Machine ◽

State Machine ◽

Code Coverage ◽

Finite State ◽

Hardware Designs ◽

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 ◽

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

A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM)

2009 Testing: Academic and Industrial Conference - Practice and Research Techniques ◽

10.1109/taicpart.2009.19 ◽

2009 ◽

Author(s):

AbdulSalam Kalaji ◽

Rob Mark Hierons ◽

Stephen Swift

Keyword(s):

Test Generation ◽

Finite State Machine ◽

State Machine ◽

Automatic Test Generation ◽

Automatic Test ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Test Generation from an Extended Finite State Machine as a Multiobjective Optimization Problem

10.22215/etd/2016-11428 ◽

2016 ◽

Author(s):

Seyedeh Asoudeh Khalajani

Keyword(s):

Multiobjective Optimization ◽

Test Generation ◽

Finite State Machine ◽

Optimization Problem ◽

State Machine ◽

Multiobjective Optimization Problem ◽

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 ◽

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

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 ◽

Author(s):

Vladimir I. Ulyantsev ◽

Fedor N. Tsarev

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Extended Finite State Machine

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 ◽

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

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 ◽

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 ◽

Author(s):

V. Ulyantsev ◽

F. Tsarev

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

On finding a minimal functional description of a finite-state machine for test generation for adjacent machines

IEEE Transactions on Computers ◽

10.1109/12.822567 ◽

2000 ◽

Vol 49 (1) ◽

pp. 88-94 ◽

Author(s):

I. Pomeranz ◽

S.M. Reddy

Keyword(s):

Test Generation ◽

Finite State Machine ◽

State Machine ◽

Functional Description ◽

Download Full-text

Formalising Extended Finite State Machine Transition Merging

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_22 ◽

2018 ◽

pp. 373-387 ◽

Author(s):

Michael Foster ◽

Ramsay G. Taylor ◽

Achim D. Brucker ◽

John Derrick

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Extended Finite State Machine

Download Full-text