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

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

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

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 ◽

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 ◽

Author(s):

Sahar Mohajerani ◽

Robi Malik ◽

Martin Fabian

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

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

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

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 ◽

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 ◽

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 ◽

Download Full-text