Uraz Cengiz Türker

According to our database, Uraz Cengiz Türker authored at least 30 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Accelerating Finite State Machine-Based Testing Using Reinforcement Learning.

Uraz Cengiz Türker, Robert M. Hierons, Khaled El-Fakih, Mohammad Reza Mousavi, Ivan Yu. Tyukin

IEEE Trans. Software Eng., March, 2024

2023

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., September, 2023

2022

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

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

Minimizing Characterizing sets.

Uraz Cengiz Türker, Robert M. Hierons, Guy-Vincent Jourdan

Sci. Comput. Program., 2021

Efficient state synchronisation in model-based testing through reinforcement learning.

Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi, Ivan Yu. Tyukin

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

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

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

Extending HSI Test Generation Method for Software Product Lines.

Vanderson Hafemann Fragal, Adenilso Simão, Mohammad Reza Mousavi, Uraz Cengiz Türker

Comput. J., 2019

Minimizing Characterizing Sets.

Kadir Bulut, Guy-Vincent Jourdan, Uraz Cengiz Türker

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

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

Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences.

Robert M. Hierons, Uraz Cengiz Türker

Comput. J., 2017

Hardness of Deriving Invertible Sequences from Finite State Machines.

Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

2016

Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences.

Robert M. Hierons, Uraz Cengiz Türker

IEEE Trans. Software Eng., 2016

Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets.

Robert M. Hierons, Uraz Cengiz Türker

IEEE Trans. Computers, 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

Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences.

Robert M. Hierons, Uraz Cengiz Türker

Comput. J., 2016

Parallelizing Heuristics for Generating Synchronizing Sequences.

Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün

Proceedings of the Testing Software and Systems, 2016

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

Incomplete Distinguishing Sequences for Finite State Machines.

Robert M. Hierons, Uraz Cengiz Türker

Comput. J., 2015

Generating Minimum Height ADSs for Partially Specified Finite State Machines.

Robert M. Hierons, Uraz Cengiz Türker

Proceedings of the Information Sciences and Systems 2015, 2015

2014

Improvements in finite state machine based testing (Sonlu durum makinelerine dayalı sınama dizilerinde iyileştirmeler)

Uraz Cengiz Türker

PhD thesis, 2014

A visualisation technique for large temporal social network datasets in Hyperbolic space.

Uraz Cengiz Türker, Selim Balcisoy

J. Vis. Lang. Comput., 2014

Hardness and inapproximability of minimizing adaptive distinguishing sequences.

Uraz Cengiz Türker, Hüsnü Yenigün

Formal Methods Syst. Des., 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

Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences.

Uraz Cengiz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün

Proceedings of the Testing Software and Systems, 2014

Distinguishing Sequences for Partially Specified FSMs.

Robert M. Hierons, Uraz Cengiz Türker

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

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

Proceedings of the Information Sciences and Systems 2014, 2014

2011

Generating Preset Distinguishing Sequences Using SAT.

Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, Hüsnü Yenigün

Proceedings of the Computer and Information Sciences II, 2011

2007

"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

Proceedings of the Advances in Artificial Reality and Tele-Existence, 2007