Follow
Uraz Cengiz Turker
Uraz Cengiz Turker
Lecturer at the school of Computing and Communications, Lancaster University, UK
Verified email at lancaster.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
262016
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
222014
Distinguishing sequences for partially specified FSMs
RM Hierons, UC Türker
NASA Formal Methods Symposium, 62-76, 2014
222014
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
202015
Parallel algorithms for generating harmonised state identifiers and characterising sets
RM Hierons, UC Türker
IEEE Transactions on Computers 65 (11), 3370-3383, 2016
192016
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
172019
Incomplete distinguishing sequences for finite state machines
RM Hierons, U Cengiz Türker
The Computer Journal 58 (11), 3089-3113, 2015
172015
Hardness and inapproximability of minimizing adaptive distinguishing sequences
UC Türker, H Yenigün
Formal Methods in System Design 44, 264-294, 2014
172014
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
162017
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
132020
-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
132019
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
132012
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
112016
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
112016
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
112014
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
92019
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
92014
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
62021
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
52022
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
52017
The system can't perform the operation now. Try again later.
Articles 1–20