Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation

Khaled El-Fakih, Nina Yevtushenko, Natalia Kushik. Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. Formal Asp. Comput., 30(2):319-332, 2018. [doi]

Authors

Khaled El-Fakih

This author has not been identified. Look up 'Khaled El-Fakih' in Google

Nina Yevtushenko

This author has not been identified. Look up 'Nina Yevtushenko' in Google

Natalia Kushik

This author has not been identified. Look up 'Natalia Kushik' in Google