Testing from partial deterministic FSM specifications | IEEE Journals & Magazine | IEEE Xplore