Towards Impact Analysis of Test Goal Prioritization on the Efficient Execution of Automatically Generated Test Suites Based on State Machines

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

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

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

Decreasing the complexity of deriving test suites against nondeterministic finite state machines

2017 IEEE East-West Design & Test Symposium (EWDTS) ◽

10.1109/ewdts.2017.8110091 ◽

2017 ◽

Cited By ~ 1

Author(s):

Husnu Yenigun ◽

Natalia Kushik ◽

Jorge Lopez ◽

Nina Yevtushenko ◽

Ana R. Cavalli

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Test Suites

Download Full-text

Experimental comparison of approaches for checking completeness of test suites from finite state machines

Information and Software Technology ◽

10.1016/j.infsof.2017.07.012 ◽

2017 ◽

Vol 92 ◽

pp. 95-104 ◽

Cited By ~ 2

Author(s):

Adilson Bonifacio ◽

Arnaldo Moura ◽

Adenilso Simao

Keyword(s):

Finite State Machines ◽

Experimental Comparison ◽

State Machines ◽

Finite State ◽

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

Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE - Lecture Notes in Computer Science ◽

10.1007/11914952_41 ◽

2006 ◽

pp. 1613-1632 ◽

Cited By ~ 17

Author(s):

Frank Alexander Kraemer ◽

Peter Herrmann ◽

Rolv Bræk

Keyword(s):

Temporal Logic ◽

State Machines ◽

Uml 2.0 ◽

Efficient Execution

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

FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts

Proceedings of the Institute for System Programming of RAS ◽

10.15514/ispras-2019-31(4)-12 ◽

2019 ◽

Vol 31 (4) ◽

pp. 175-188

Author(s):

A.S. Tvardovskii ◽

N.V. Yevtushenko

Keyword(s):

Finite State Machines ◽

Fault Coverage ◽

State Machines ◽

Finite State ◽

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