Analysis of mutation operators for FSM testing. - Danial Nikbin Azmoudeh; Yvan Labiche (ICSTW, 2023)