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
25 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
21 2014 Distinguishing sequences for partially specified FSMs RM Hierons, UC Türker
NASA Formal Methods Symposium, 62-76, 2014
21 2014 Parallel algorithms for generating harmonised state identifiers and characterising sets RM Hierons, UC Türker
IEEE Transactions on Computers 65 (11), 3370-3383, 2016
19 2016 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
19 2015 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
18 2019 Incomplete distinguishing sequences for finite state machines RM Hierons, U Cengiz Türker
The Computer Journal 58 (11), 3089-3113, 2015
17 2015 Hardness and inapproximability of minimizing adaptive distinguishing sequences UC Türker, H Yenigün
Formal Methods in System Design 44, 264-294, 2014
17 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
15 2017 K El-Fakih, RM Hierons, UC Türker
IEEE Transactions on Software Engineering 47 (5), 1029-1040, 2019
13 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 …, 2012
12 2012 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
10 2020 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
10 2016 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
10 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
9 2014 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 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
8 2019 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
5 2021 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 Distinguishing sequences for distributed testing: preset distinguishing sequences RM Hierons, UC Türker
The Computer Journal 60 (1), 110-125, 2017
5 2017 
Robert HieronsProfessor, The University of SheffieldПотвърден имейл адрес: sheffield.ac.uk
