“…They are considered as two distinct research areas and supported by different research communities. EFSM-based testing and Communicating EFSM have been extensively studied [18,19,20,21,23,25]. A more recent research area is test generation based on model checking, with several publications [17,22,26,27,28,29] discussing that topic.…”