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

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

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

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

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

Experimental Comparison of Test Case Generation Methods for Finite State Machines

2012 IEEE Fifth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2012.140 ◽

2012 ◽

Cited By ~ 3

Author(s):

Andre Takeshi Endo ◽

Adenilso Simao

Keyword(s):

Finite State Machines ◽

Experimental Comparison ◽

Test Case Generation ◽

Test Case ◽

State Machines ◽

Finite State

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

An efficient heuristic for state encoding minimizing the BDD representations of the transition relations of finite state machines

Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106) ◽

10.1109/aspdac.2000.835071 ◽

2002 ◽

Cited By ~ 1

Author(s):

R. Forth ◽

P. Molitor

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

State Encoding

Download Full-text

Combining SIMD and Many/Multi-core Parallelism for Finite-state Machines with Enumerative Speculation

ACM Transactions on Parallel Computing ◽

10.1145/3399714 ◽

2020 ◽

Vol 7 (3) ◽

pp. 1-26

Author(s):

Peng Jiang ◽

Yang Xia ◽

Gagan Agrawal

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State

Download Full-text