A Test Generation Method for State-Observable FSMs to Increase Defect Coverage under the Test Length Constraint | IEEE Conference Publication | IEEE Xplore