Nov 20, 2016 · The method is required to transform the EFSM into a new model called EEFSM without containing any infeasible path. Based on the expanded EFSM, ...
Automatic executable test sequence generation is a challenging task for protocol test based on the Extended Finite State Machine (EFSM) model. Transition ...
This paper develops an open source test generation tool for testing EFSM-specified systems, PTSG, to support the automatic generation of executable test ...
A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences. Shu, T.; Ding, Z.; Chen, M.; Xia, J.
This paper presents a new test sequence generation method for protocols that are specified in the Extended Finite State Machine (EFSM) model.
To guarantee the feasibility of generated test sequences, transition executability analysis (TEA) technique is widely applied in automatic test derivation.
[PDF] A Test Generation Method for EFSM-based Protocols Using the ...
article.nadiapub.com › vol9_no5
In contrast, test sequence generation methods using transition executability analysis (TEA) [9] can ensure the executability of the generated test sequence in ...
A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences. Information Sciences. 2016-11 | Journal article.
A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences. Article. Jul 2016; INFORM SCIENCES. Ting ...
Shu, A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences, Inform. Sci., № 370, с. 63 https://doi.org ...