Assessing test suites of extended finite state machines against model‐ and code‐based faults

Software Testing Verification and Reliability ◽

10.1002/stvr.1789 ◽

2021 ◽

Author(s):

K. El‐Fakih ◽

Ayman Alzaatreh ◽

Uraz Cengiz Türker

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines ◽

Test Suites

Download Full-text

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines

Modeling and Analysis of Information Systems ◽

10.18255/1818-1015-2016-6-729-740 ◽

2016 ◽

Vol 23 (6) ◽

pp. 729-740 ◽

Cited By ~ 1

Author(s):

A. D. Ermakov ◽

N. V. Yevtushenko

Keyword(s):

Finite State Machines ◽

Fault Coverage ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines ◽

Test Suites

Download Full-text

A Multi-objective Genetic Algorithm for Generating Test Suites from Extended Finite State Machines

Search Based Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39742-4_26 ◽

2013 ◽

pp. 288-293 ◽

Cited By ~ 3

Author(s):

Nesa Asoudeh ◽

Yvan Labiche

Keyword(s):

Genetic Algorithm ◽

Finite State Machines ◽

State Machines ◽

Multi Objective ◽

Multi Objective Genetic Algorithm ◽

Finite State ◽

Extended Finite State Machines ◽

Test Suites

Download Full-text

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines

Automatic Control and Computer Sciences ◽

10.3103/s0146411617070057 ◽

2017 ◽

Vol 51 (7) ◽

pp. 516-522

Author(s):

A. D. Ermakov ◽

N. V. Yevtushenko

Keyword(s):

Finite State Machines ◽

Fault Coverage ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines ◽

Test Suites

Download Full-text

Modeling Session Initiation Protocol with Extended Finite State Machines

Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) ◽

10.1109/pdcat.2007.4420207 ◽

2007 ◽

Author(s):

Sun Wenhui ◽

Liu Feng ◽

Dai Gang ◽

Li Honghui

Keyword(s):

Finite State Machines ◽

Session Initiation Protocol ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines

IFAC Proceedings Volumes ◽

10.3182/20140514-3-fr-4046.00039 ◽

2014 ◽

Vol 47 (2) ◽

pp. 376-382 ◽

Cited By ~ 1

Author(s):

Sahar Mohajerani ◽

Robi Malik ◽

Martin Fabian

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

On deriving test suites for nondeterministic finite state machines with time-outs

Programming and Computer Software ◽

10.1134/s036176881203005x ◽

2012 ◽

Vol 38 (3) ◽

pp. 127-133

Author(s):

N. V. Shabaldina ◽

R. F. Galimullin

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Test Suites

Download Full-text

Testability Metrics for Extended Finite State Machines

Parallel and Distributed Computing and Networks / 720: Software Engineering ◽

10.2316/p.2011.720-015 ◽

2011 ◽

Author(s):

Binh T. Nguyen ◽

Michel Delaunay ◽

Chantal Robach

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Synthesizing protocol specifications from service specifications in timed extended finite state machines

Proceedings of 17th International Conference on Distributed Computing Systems ◽

10.1109/icdcs.1997.598044 ◽

2002 ◽

Cited By ~ 1

Author(s):

Jun-Cheol Park ◽

R.E. Miller

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Using Change Impact Analysis to Select Tests for Extended Finite State Machines

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2009.38 ◽

2009 ◽

Cited By ~ 1

Author(s):

Mahadevan Subramaniam ◽

Bo Guo ◽

Zoltan Pap

Keyword(s):

Impact Analysis ◽

Finite State Machines ◽

State Machines ◽

Change Impact Analysis ◽

Finite State ◽

Extended Finite State Machines ◽

Change Impact

Download Full-text

On deriving the parallel composition of extended finite state machines

Vestnik Tomskogo gosudarstvennogo universiteta Upravlenie vychislitel naya tekhnika i informatika ◽

10.17223/19988605/48/10 ◽

2019 ◽

pp. 83-91

Author(s):

Ekaterina V. Shirokova ◽

◽

Svetlana A. Prokopenko ◽

Natalia V. Shabaldina

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text