Uraz Cengiz Turker
Uraz Cengiz Turker
Lecturer at the school of Informatics, The University of Leicester
leicester.ac.uk의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Distinguishing sequences for partially specified FSMs
RM Hierons, UC Türker
NASA Formal Methods Symposium, 62-76, 2014
192014
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
182016
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 (6), 1153-1167, 2014
182014
Hardness and inapproximability of minimizing adaptive distinguishing sequences
UC Türker, H Yenigün
Formal Methods in System Design 44 (3), 264-294, 2014
152014
Incomplete distinguishing sequences for finite state machines
RM Hierons, U Cengiz Türker
The Computer Journal 58 (11), 3089-3113, 2015
142015
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
132019
Parallel algorithms for generating harmonised state identifiers and characterising sets
RM Hierons, UC Türker
IEEE Transactions on Computers 65 (11), 3370-3383, 2016
112016
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
112015
Parallelizing heuristics for generating synchronizing sequences
S Karahoda, OT Erenay, K Kaya, UC Türker, H Yenigün
IFIP International Conference on Testing Software and Systems, 106-122, 2016
102016
Generating preset distinguishing sequences using SAT
C Güniçen, UC Türker, H Ural, H Yenigün
Computer and Information Sciences II, 487-493, 2011
102011
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
82014
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
72017
Lookahead-based approaches for minimizing adaptive distinguishing sequences
UC Türker, T Ünlüyurt, H Yenigün
IFIP International Conference on Testing Software and Systems, 32-47, 2014
72014
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
62020
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
62016
-branching UIO sequences for partially specified observable non-deterministic FSMs
K El-Fakih, RM Hierons, U cengiz Turker
IEEE Transactions on Software Engineering, 2019
52019
Parallel brute-force algorithm for deriving reset sequences from deterministic incomplete finite automata
UC Türker
Turkish Journal of Electrical Engineering & Computer Sciences 27 (5), 3544-3556, 2019
42019
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
32017
Minimizing characterizing sets
K Bulut, GV Jourdan, UC Türker
International Conference on Formal Aspects of Component Software, 72-86, 2019
22019
Distinguishing sequences for distributed testing: Adaptive distinguishing sequences
RM Hierons, UC Türker
The Computer Journal 59 (8), 1186-1206, 2016
22016
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20