"Space Frames": Using space, color and animation in the visualization of complex graph systems. - Elif E. Ayiter; Selim Balcisoy; Murat Germen; Ismail Kasarci; Uraz Cengiz Türker; Merve Cayli (ICAT, 2007)

Generating Preset Distinguishing Sequences Using SAT. - Canan Güniçen; Uraz Cengiz Türker; Hasan Ural; Hüsnü Yenigün (ISCIS, 2011)

An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines. - Canan Güniçen; Kemal Inan; Uraz Cengiz Türker; Hüsnü Yenigün (ISCIS, 2014)

Distinguishing Sequences for Partially Specified FSMs. - Robert M. Hierons; Uraz Cengiz Türker (NASA Formal Methods, 2014)

Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences. - Uraz Cengiz Türker; Tonguç Ünlüyurt; Hüsnü Yenigün (ICTSS, 2014)

The relation between preset distinguishing sequences and synchronizing sequences. - Canan Güniçen; Kemal Inan; Uraz Cengiz Türker; Hüsnü Yenigün (Formal Aspects Comput., 2014)

Hardness and inapproximability of minimizing adaptive distinguishing sequences. - Uraz Cengiz Türker; Hüsnü Yenigün (Formal Methods Syst. Des., 2014)

A visualisation technique for large temporal social network datasets in Hyperbolic space. - Uraz Cengiz Türker; Selim Balcisoy (J. Vis. Lang. Comput., 2014)

Improvements in finite state machine based testing (Sonlu durum makinelerine dayalı sınama dizilerinde iyileştirmeler) - Uraz Cengiz Türker (2014)

Generating Minimum Height ADSs for Partially Specified Finite State Machines. - Robert M. Hierons; Uraz Cengiz Türker (ISCIS, 2015)

Incomplete Distinguishing Sequences for Finite State Machines. - Robert M. Hierons; Uraz Cengiz Türker (Comput. J., 2015)

Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata. - Uraz Cengiz Türker; Hüsnü Yenigün (Int. J. Found. Comput. Sci., 2015)

Parallelizing Heuristics for Generating Synchronizing Sequences. - Sertaç Karahoda; Osman Tufan Erenay; Kamer Kaya; Uraz Cengiz Türker; Hüsnü Yenigün (ICTSS, 2016)

Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences. - Robert M. Hierons; Uraz Cengiz Türker (Comput. J., 2016)

Effective algorithms for constructing minimum cost adaptive distinguishing sequences. - Uraz Cengiz Türker; Tonguç Ünlüyurt; Hüsnü Yenigün (Inf. Softw. Technol., 2016)

Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets. - Robert M. Hierons; Uraz Cengiz Türker (IEEE Trans. Computers, 2016)

Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences. - Robert M. Hierons; Uraz Cengiz Türker (IEEE Trans. Software Eng., 2016)

Hardness of Deriving Invertible Sequences from Finite State Machines. - Robert M. Hierons; Mohammad Reza Mousavi 001; Michael Kirkedal Thomsen; Uraz Cengiz Türker (SOFSEM, 2017)

Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences. - Robert M. Hierons; Uraz Cengiz Türker (Comput. J., 2017)

Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs. - Robert M. Hierons; Uraz Cengiz Türker (ACM Trans. Softw. Eng. Methodol., 2017)

Minimizing Characterizing Sets. - Kadir Bulut; Guy-Vincent Jourdan; Uraz Cengiz Türker (FACS, 2019)

Extending HSI Test Generation Method for Software Product Lines. - Vanderson Hafemann Fragal; Adenilso Simão; Mohammad Reza Mousavi 001; Uraz Cengiz Türker (Comput. J., 2019)

Parallel brute-force algorithm for deriving reset sequences from deterministic incomplete finite automata. - Uraz Cengiz Türker (Turkish J. Electr. Eng. Comput. Sci., 2019)

Multicore and manycore parallelization of cheap synchronizing sequence heuristics. - Sertaç Karahoda; Osman Tufan Erenay; Kamer Kaya; Uraz Cengiz Türker; Hüsnü Yenigün (J. Parallel Distributed Comput., 2020)

Efficient state synchronisation in model-based testing through reinforcement learning. - Uraz Cengiz Türker; Robert M. Hierons; Mohammad Reza Mousavi 001; Ivan Yu. Tyukin (ASE, 2021)

Minimizing Characterizing sets. - Uraz Cengiz Türker; Robert M. Hierons; Guy-Vincent Jourdan (Sci. Comput. Program., 2021)

$ mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs. - Khaled El-Fakih; Robert M. Hierons; Uraz Cengiz Türker (IEEE Trans. Software Eng., 2021)

Assessing test suites of extended finite state machines against model- and code-based faults. - Khaled El-Fakih; Ayman Alzaatreh; Uraz Cengiz Türker (Softw. Test. Verification Reliab., 2022)

Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs. - Uraz Cengiz Türker; Robert M. Hierons; Gerassimos D. Barlas; Khaled El-Fakih (IEEE Trans. Software Eng., 2023)

Accelerating Finite State Machine-Based Testing Using Reinforcement Learning. - Uraz Cengiz Türker; Robert M. Hierons; Khaled El-Fakih; Mohammad Reza Mousavi 001; Ivan Yu. Tyukin (IEEE Trans. Software Eng., 2024)