An assessment of extended finite state machine test selection criteria

Journal of Systems and Software ◽

10.1016/j.jss.2016.09.044 ◽

2017 ◽

Vol 123 ◽

pp. 106-118 ◽

Cited By ~ 5

Author(s):

Khaled El-Fakih ◽

Adenilso Simao ◽

Noshad Jadoon ◽

Jose Carlos Maldonado

Keyword(s):

Selection Criteria ◽

Finite State Machine ◽

State Machine ◽

Test Selection ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops ◽

10.1109/icstw.2014.25 ◽

2014 ◽

Cited By ~ 2

Author(s):

Khaled El-Fakih ◽

Adenilso Simao ◽

Noshad Jadoon ◽

Jose Carlos Maldonado

Keyword(s):

Selection Criteria ◽

Finite State Machine ◽

State Machine ◽

Test Selection ◽

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

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

How to Design Extended Finite State Machine Test Models in Java

Model-Based Testing for Embedded Systems ◽

10.1201/b11321-15 ◽

2017 ◽

pp. 175-198 ◽

Cited By ~ 11

Keyword(s):

Finite State Machine ◽

State Machine ◽

Test Models ◽

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 ◽

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