A Test Generation Method Based on k-Cycle Testing for Finite State Machines.

Yuya Kinoshita, Toshinori Hosokawa, Hideo Fujiwara

Browse the full IOLTS paper archive.