Model-Based Testing of Smart Home Systems Using EFSM and CEFSM. - Afnan Albahli; Anneliese Andrews (CSCI, 2021)