Items where authors include "El-Fakih, K."

Article

Turker, U.C., Hierons, R.M. orcid.org/0000-0002-4771-1446, El-Fakih, K. et al. (2 more authors) (2024) Accelerating finite state machine-based testing using reinforcement learning. IEEE Transactions on Software Engineering, 50 (3). pp. 574-597. ISSN 0098-5589

Turker, U.C., Hierons, R.M. orcid.org/0000-0002-4771-1446, Barlas, G. et al. (1 more author) (2023) Incomplete adaptive distinguishing sequences for non-deterministic FSMs. IEEE Transactions on Software Engineering, 49 (9). pp. 4371-4389. ISSN 0098-5589

El-Fakih, K., Hierons, R. orcid.org/0000-0002-4771-1446 and Turker, U.C. (2021) K-branching UIO sequences for partially specified observable non-deterministic FSMs. IEEE Transactions on Software Engineering, 47 (5). pp. 1029-1040. ISSN 0098-5589