Items where Author is "Hierons, Robert M."
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Journal Article
Number of items: 2.
Journal Article
Turker, Uraz and Hierons, Robert M. and El-Fakih, Khaled and Barlas, Gerrasimos (2023) Incomplete adaptive distinguishing sequences for non-deterministic FSMs. IEEE Transactions on Software Engineering. ISSN 0098-5589
El-Fakih, Khaled and Hierons, Robert M. and Turker, Uraz Cengiz (2021) $\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms. IEEE Transactions on Software Engineering, 47 (5). pp. 1029-1040. ISSN 0098-5589