We propose a new approach to testing conformance to a nondeterministic specification , in which testing proceeds only as long as increased test coverage is guaranteed. In testing that a system meets a nondeterministic specification [1], it is usually assumed that the system is fair to each transition of the specification (i.e., the system will make every possible nondeterministic choice if give...