Test selection for a nondeterministic FSM

Ik-Soon Hwang, Tae-Hyong Kim, Sung-Back Hong, Jai-Yong Lee. Test selection for a nondeterministic FSM. Computer Communications, 24(12):1213-1223, 2001. [doi]

Abstract

Abstract is missing.