Fault-dependent/independent Test Generation Methods for State Observable FSMs. - Toshinori Hosokawa; Ryoichi Inoue; Hideo Fujiwara (ATS, 2007)

A Test Generation Method for State-Observable FSMs to Increase Defect Coverage under the Test Length Constraint. - Ryoichi Inoue; Toshinori Hosokawa; Hideo Fujiwara (ATS, 2008)

A Fault Dependent Test Generation Method for State-Observable FSMs to Increase Defect Coverage under the Test Length Constraint. - Ryoichi Inoue; Toshinori Hosokawa; Hideo Fujiwara (IEICE Trans. Inf. Syst., 2010)