Khaled El-Fakih, Nina Yevtushenko, Ayat Saleh. Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines. Comput. J., 62(5):757-768, 2019. [doi]
@article{El-FakihYS19,
title = {Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines},
author = {Khaled El-Fakih and Nina Yevtushenko and Ayat Saleh},
year = {2019},
doi = {10.1093/comjnl/bxy086},
url = {https://doi.org/10.1093/comjnl/bxy086},
researchr = {https://researchr.org/publication/El-FakihYS19},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {62},
number = {5},
pages = {757-768},
}