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
22 2014 Distinguishing sequences for partially specified FSMs RM Hierons, UC Türker
NASA Formal Methods Symposium, 62-76, 2014
22 2014 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
19 2016 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
17 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
16 2017 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 -branching uio sequences for partially specified observable non-deterministic fsmsK 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
13 2012 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 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
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 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
6 2022 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
6 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