In black-box testing, test sequences may be constructed from systems modelled as deterministic finite-state machines (DFSMs) or, more generally, observable non-deterministic finite state (ONFSMs). Test usually contain identification sequences, with unique input output ( UIOs ) often being used DFSMs. This paper extends the notion of to ONFSMs. One challenge is that, a result non-...