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.


El-Fakih, K., Hierons, R. and Turker, U.C. (2019) K-branching UIO sequences for partially specified observable non-deterministic FSMs. IEEE Transactions on Software Engineering. ISSN 0098-5589

Hierons, R.M. 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 Jan 26 04:37:07 2020 GMT.