Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.

Article

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

Hierons, R.M. orcid.org/0000-0002-4771-1446 and Turker, U.C. (2016) Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences. IEEE Transactions on Software Engineering, 42 (11). pp. 1077-1091. ISSN 0098-5589

This list was generated on Sun Aug 18 03:26:09 2019 BST.