Toshinori Hosokawa, Ryoichi Inoue, Hideo Fujiwara. Fault-dependent/independent Test Generation Methods for State Observable FSMs. In 16th Asian Test Symposium, ATS 2007, Beijing, China, October 8-11, 2007. pages 275-280, IEEE, 2007. [doi]
Abstract is missing.