A Bounded Incremental Test Generation Algorithm for Finite State Machines

Testing of Software and Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73066-8_17 ◽

2007 ◽

pp. 244-259 ◽

Author(s):

Zoltán Pap ◽

Mahadevan Subramaniam ◽

Gábor Kovács ◽

Gábor Árpád Németh

Keyword(s):

Test Generation ◽

Finite State Machines ◽

State Machines ◽

Incremental Test ◽

Generation Algorithm ◽

Download Full-text

Functional Test Generation For finite State Machines With Concurrent Fault Simulation

10.1109/atw.1994.747832 ◽

2005 ◽

Author(s):

N.L. Cooray ◽

E.W. Czeck

Keyword(s):

Test Generation ◽

Fault Simulation ◽

Finite State Machines ◽

Functional Test ◽

State Machines ◽

Finite State ◽

Concurrent Fault Simulation

Download Full-text

Reachability Graph Based Hierarchical Test Generation for Network Protocols Modeled as Parallel Finite State Machines

2013 22nd International Conference on Computer Communication and Networks (ICCCN) ◽

10.1109/icccn.2013.6614178 ◽

2013 ◽

Author(s):

Jiangyuan Yao ◽

Zhiliang Wang ◽

Xia Yin ◽

Xingang Shi ◽

Jianping Wu

Keyword(s):

Test Generation ◽

Network Protocols ◽

Finite State Machines ◽

State Machines ◽

Reachability Graph ◽

Download Full-text

Three Generalizations to a Generic Integrated Test Generation Method for Finite State Machines

The Computer Journal ◽

10.1093/comjnl/bxn048 ◽

2008 ◽

Vol 52 (6) ◽

pp. 599-625

Author(s):

M. Kapus-Kolar

Keyword(s):

Test Generation ◽

Finite State Machines ◽

State Machines ◽

Download Full-text

A Hybrid Test Generation Approach Based on Extended Finite State Machines

2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ◽

10.1109/synasc.2016.037 ◽

2016 ◽

Author(s):

Ana Turlea ◽

Florentin Ipate ◽

Raluca Lefticaru

Keyword(s):

Test Generation ◽

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines ◽

Download Full-text

Multi-level test generation and fault diagnosis for finite state machines

Dependable Computing — EDCC-2 - Lecture Notes in Computer Science ◽

10.1007/3-540-61772-8_43 ◽

1996 ◽

pp. 264-281 ◽

Author(s):

R. Ubar ◽

M. Brik

Keyword(s):

Fault Diagnosis ◽

Test Generation ◽

Finite State Machines ◽

State Machines ◽

Finite State ◽

Download Full-text

On test generation for interconnected finite-state machines-the input sequence propagation problem

Proceedings of the Fifth Asian Test Symposium (ATS'96) ◽

10.1109/ats.1996.555129 ◽

2002 ◽

Author(s):

I. Pomeranz ◽

S.M. Reddy

Keyword(s):

Test Generation ◽

Input Sequence ◽

Finite State Machines ◽

Propagation Problem ◽

State Machines ◽

Download Full-text

An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33826-7_20 ◽

2012 ◽

pp. 293-307 ◽

Author(s):

Raluca Lefticaru ◽

Florentin Ipate

Keyword(s):

Genetic Algorithms ◽

Test Generation ◽

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

ReFSM: Reverse engineering from protocol packet traces to test generation by extended finite state machines

Journal of Network and Computer Applications ◽

10.1016/j.jnca.2020.102819 ◽

2020 ◽

Vol 171 ◽

pp. 102819

Author(s):

Ying-Dar Lin ◽

Yu-Kuen Lai ◽

Quan Tien Bui ◽

Yuan-Cheng Lai

Keyword(s):

Reverse Engineering ◽

Test Generation ◽

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Test generation for multiple state-table faults in finite-state machines

IEEE Transactions on Computers ◽

10.1109/12.599899 ◽

1997 ◽

Vol 46 (7) ◽

pp. 783-794 ◽

Author(s):

I. Pomeranz ◽

S.M. Reddy

Keyword(s):

Test Generation ◽

Finite State Machines ◽

State Machines ◽

State Table ◽

Finite State ◽

Download Full-text

Functional Test Generation for Finite State Machines

2006 International Biennial Baltic Electronics Conference ◽

10.1109/bec.2006.311099 ◽

2006 ◽

Author(s):

R. Ubar ◽

M. Brik ◽

A. Jutman ◽

J. Raik ◽

T. Bengtsson ◽

...

Keyword(s):

Test Generation ◽

Finite State Machines ◽

Functional Test ◽

State Machines ◽

Download Full-text