Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine

Robert M. Hierons. Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine. Comput. J., 41(5):349-355, 1998.

Abstract

Abstract is missing.