Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting

Robert M. Hierons. Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting. IEEE Transactions on Computers, 53(10):1330-1342, 2004. [doi]

Abstract

Abstract is missing.