Inferring extended finite state machine models from software executions

Neil Walkinshaw; Ramsay Taylor; John Derrick

doi:10.1007/s10664-015-9367-7

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

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

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

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

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 5

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 ◽

The Web

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 ◽

Cited By ~ 6

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 ◽

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

Expanding an extended finite state machine to aid testability

Proceedings 26th Annual International Computer Software and Applications ◽

10.1109/cmpsac.2002.1045023 ◽

2003 ◽

Cited By ~ 10

Author(s):

R.M. Hierons ◽

T.-H. Kim ◽

H. Ural

Keyword(s):

Finite State Machine ◽

State Machine ◽

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 ◽

Cited By ~ 10

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