IEEE - Institute of Electrical and Electronics Engineers, Inc. - Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving

2013 International Symposium on Theoretical Aspects of Software Engineering (TASE)

Author(s): Gongzheng Lu ; Huaikou Miao
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2013
Conference Location: Birmingham, UK
Conference Date: 1 July 2013
Page(s): 153 - 156
ISBN (Electronic): 978-0-7695-5053-4
DOI: 10.1109/TASE.2013.29
Regular:

It is an important problem to generate test data from EFSM model in model-based testing, but it is time-wasting to generate test data for the infeasible paths, so determining the feasibility of... View More

Advertisement