Fault-dependent/independent Test Generation Methods for State Observable FSMs | IEEE Conference Publication | IEEE Xplore