Automatic executable test case generation for extended finite state machine protocols

Testing of Communicating Systems ◽

10.1007/978-0-387-35198-8_6 ◽

1997 ◽

pp. 75-90 ◽

Author(s):

C. Bourhfir ◽

R. Dssouli ◽

E. Aboulhamid ◽

N. Rico

Keyword(s):

Finite State Machine ◽

State Machine ◽

Test Case Generation ◽

Test Case ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models

2008 IEEE International Conference on Software Testing Verification and Validation Workshop ◽

10.1109/icstw.2008.7 ◽

2008 ◽

Author(s):

Valdivino Santiago ◽

N. L. Vijaykumar ◽

Danielle Guimarães ◽

Ana Silvia Amaral ◽

Érica Ferreira

Keyword(s):

Finite State Machine ◽

State Machine ◽

Test Case Generation ◽

Test Case ◽

Behavioral Models ◽

Automated Test Case Generation ◽

Automated Test ◽

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

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

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

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

The Web Services Composition Testing Based on Extended Finite State Machine and UML Model

2013 Fifth International Conference on Service Science and Innovation ◽

10.1109/icssi.2013.46 ◽

2013 ◽

Author(s):

Ching-Seh Wu ◽

Chi-Hsin Huang

Keyword(s):

Web Services ◽

Finite State Machine ◽

State Machine ◽

Web Services Composition ◽

Services Composition ◽

Finite State ◽

Extended Finite State Machine ◽

Download Full-text

Extended Finite State Machine Based Test Derivation Driven by User Defined Faults

2008 International Conference on Software Testing, Verification, and Validation ◽

10.1109/icst.2008.16 ◽

2008 ◽

Author(s):

Khaled El-Fakih ◽

Anton Kolomeez ◽

Svetlana Prokopenko ◽

Nina Yevtushenko

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

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 ◽

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