Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation
Crossref DOI link: https://doi.org/10.1007/s00165-017-0450-2
Published Print: 2018-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
El-Fakih, Khaled http://orcid.org/0000-0002-2343-2848
Yevtushenko, Nina
Kushik, Natalia
Funding for this research was provided by:
American University of Sharjah (AUS FRG-15-R27)
Russian Science Foundation (#16-49-03012)
Text and Data Mining valid from 2018-03-01
Article History
Received: 14 January 2017
Accepted: 15 December 2017
First Online: 26 January 2018