A Test Generation Method Based on k-Cycle Testing for Finite State Machines | IEEE Conference Publication | IEEE Xplore