publication venue for Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. 30:319-332. 2018