Testing from a Finite-State Machine: Extending Invertibility to Sequences

Robert M. Hierons. Testing from a Finite-State Machine: Extending Invertibility to Sequences. Comput. J., 40(4):220-230, 1997.

Abstract

Abstract is missing.