| Parallel algorithms for testing finite state machines: Generating UIO sequences RM Hierons, UC Türker IEEE Transactions on Software Engineering 42 (11), 1077-1091, 2016 | 26 | 2016 |
| The relation between preset distinguishing sequences and synchronizing sequences C Güniçen, K Inan, UC Türker, H Yenigün Formal Aspects of Computing 26, 1153-1167, 2014 | 23 | 2014 |
| Distinguishing sequences for partially specified FSMs RM Hierons, UC Türker NASA Formal Methods Symposium, 62-76, 2014 | 23 | 2014 |
| Extending HSI test generation method for software product lines VH Fragal, A Simao, MR Mousavi, UC Turker The Computer Journal 62 (1), 109-129, 2019 | 20 | 2019 |
| Complexities of some problems related to synchronizing, non-synchronizing and monotonic automata UC Türker, H Yenigün International Journal of Foundations of Computer Science 26 (01), 99-121, 2015 | 20 | 2015 |
| Parallel algorithms for generating harmonised state identifiers and characterising sets RM Hierons, UC Türker IEEE Transactions on Computers 65 (11), 3370-3383, 2016 | 18 | 2016 |
| Hardness and inapproximability of minimizing adaptive distinguishing sequences UC Türker, H Yenigün Formal Methods in System Design 44, 264-294, 2014 | 18 | 2014 |
| Parallel algorithms for generating distinguishing sequences for observable non-deterministic fsms RM Hierons, UC Türker ACM Transactions on Software Engineering and Methodology (TOSEM) 26 (1), 1-34, 2017 | 17 | 2017 |
| Incomplete distinguishing sequences for finite state machines RM Hierons, U Cengiz Türker The Computer Journal 58 (11), 3089-3113, 2015 | 17 | 2015 |
| -branching uio sequences for partially specified observable non-deterministic fsms K El-Fakih, RM Hierons, UC Türker IEEE Transactions on Software Engineering 47 (5), 1029-1040, 2019 | 14 | 2019 |
| Generating preset distinguishing sequences using SAT C Güniçen, UC Türker, H Ural, H Yenigün Computer and Information Sciences II: 26th International Symposium on …, 2011 | 14 | 2011 |
| Multicore and manycore parallelization of cheap synchronizing sequence heuristics S Karahoda, OT Erenay, K Kaya, UC Türker, H Yenigün Journal of Parallel and Distributed Computing 140, 13-24, 2020 | 13 | 2020 |
| Parallelizing heuristics for generating synchronizing sequences S Karahoda, OT Erenay, K Kaya, UC Türker, H Yenigün Testing Software and Systems: 28th IFIP WG 6.1 International Conference …, 2016 | 12 | 2016 |
| Effective algorithms for constructing minimum cost adaptive distinguishing sequences UC Türker, T Ünlüyurt, H Yenigün Information and Software Technology 74, 69-85, 2016 | 11 | 2016 |
| A visualisation technique for large temporal social network datasets in Hyperbolic space UC Turker, S Balcisoy Journal of Visual Languages & Computing 25 (3), 227-242, 2014 | 11 | 2014 |
| Efficient state synchronisation in model-based testing through reinforcement learning UC Türker, RM Hierons, MR Mousavi, IY Tyukin 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 10 | 2021 |
| Parallel brute-force algorithm for deriving reset sequences from deterministic incomplete finite automata UC Türker Turkish Journal of Electrical Engineering and Computer Sciences 27 (5), 3544 …, 2019 | 9 | 2019 |
| Lookahead-based approaches for minimizing adaptive distinguishing sequences UC Türker, T Ünlüyurt, H Yenigün Testing Software and Systems: 26th IFIP WG 6.1 International Conference …, 2014 | 9 | 2014 |
| Assessing test suites of extended finite state machines against model‐and code‐based faults K El‐Fakih, A Alzaatreh, UC Türker Software Testing, Verification and Reliability 32 (7), e1789, 2022 | 8 | 2022 |
| Hardness of deriving invertible sequences from finite state machines RM Hierons, MR Mousavi, MK Thomsen, UC Türker International Conference on Current Trends in Theory and Practice of …, 2017 | 5 | 2017 |
Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk
