EFSM-Based Test Case Generation: Sequence, Data, and Oracle

Rui Yang, Zhenyu Chen, Zhiyi Zhang, Baowen Xu

Abstract: Model-based testing has been intensively and extensively studied in the past decades. Extended Finite State Machine (EFSM) is a widely used model of software testing in both academy and industry. T...