An Evaluation of a Testability Measure for State Assignment to Estimate Transition Fault Coverage for Controllers. - Toshinori Hosokawa; Kyohei Iizuka; Masayoshi Yoshimura (DFT, 2023)