Uraz Cengiz Türker

31 papers A* 1B 1C 2Journal 20Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Efficient State Identification for Finite State Machine-Based Testing.
IEEE Trans. Software Eng.
Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi, Khaled El-Fakih
2024 J jnl
Accelerating Finite State Machine-Based Testing Using Reinforcement Learning.
IEEE Trans. Software Eng.
Uraz Cengiz Türker, Robert M. Hierons, Khaled El-Fakih, Mohammad Reza Mousavi, Ivan Yu. Tyukin
2023 J jnl
Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs.
IEEE Trans. Software Eng.
Uraz Cengiz Türker, Robert M. Hierons, Gerassimos D. Barlas, Khaled El-Fakih
2022 J jnl
Assessing test suites of extended finite state machines against model- and code-based faults.
Softw. Test. Verification Reliab.
Khaled El-Fakih, Ayman Alzaatreh, Uraz Cengiz Türker
2021 J jnl
$\mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs.
IEEE Trans. Software Eng.
Khaled El-Fakih, Robert M. Hierons, Uraz Cengiz Türker
2021 A* conf
Efficient state synchronisation in model-based testing through reinforcement learning.
ASE
Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi, Ivan Yu. Tyukin
2021 J jnl
Minimizing Characterizing sets.
Sci. Comput. Program.
Uraz Cengiz Türker, Robert M. Hierons, Guy-Vincent Jourdan
2020 J jnl
Multicore and manycore parallelization of cheap synchronizing sequence heuristics.
J. Parallel Distributed Comput.
Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün
2019 J jnl
Extending HSI Test Generation Method for Software Product Lines.
Comput. J.
Vanderson Hafemann Fragal, Adenilso Simão, Mohammad Reza Mousavi, Uraz Cengiz Türker
2019 — conf
Minimizing Characterizing Sets.
FACS
Kadir Bulut, Guy-Vincent Jourdan, Uraz Cengiz Türker
2019 J jnl
Parallel brute-force algorithm for deriving reset sequences from deterministic incomplete finite automata.
Turkish J. Electr. Eng. Comput. Sci.
Uraz Cengiz Türker
2017 J jnl
Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences.
Comput. J.
Robert M. Hierons, Uraz Cengiz Türker
2017 B conf
Hardness of Deriving Invertible Sequences from Finite State Machines.
SOFSEM
Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker
2017 J jnl
Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs.
ACM Trans. Softw. Eng. Methodol.
Robert M. Hierons, Uraz Cengiz Türker
2016 J jnl
Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences.
Comput. J.
Robert M. Hierons, Uraz Cengiz Türker
2016 J jnl
Effective algorithms for constructing minimum cost adaptive distinguishing sequences.
Inf. Softw. Technol.
Uraz Cengiz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün
2016 J jnl
Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets.
IEEE Trans. Computers
Robert M. Hierons, Uraz Cengiz Türker
2016 J jnl
Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences.
IEEE Trans. Software Eng.
Robert M. Hierons, Uraz Cengiz Türker
2016 C conf
Parallelizing Heuristics for Generating Synchronizing Sequences.
ICTSS
Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün
2015 J jnl
Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata.
Int. J. Found. Comput. Sci.
Uraz Cengiz Türker, Hüsnü Yenigün
2015 — conf
Generating Minimum Height ADSs for Partially Specified Finite State Machines.
ISCIS
Robert M. Hierons, Uraz Cengiz Türker
2015 J jnl
Incomplete Distinguishing Sequences for Finite State Machines.
Comput. J.
Robert M. Hierons, Uraz Cengiz Türker
2014 J jnl
A visualisation technique for large temporal social network datasets in Hyperbolic space.
J. Vis. Lang. Comput.
Uraz Cengiz Türker, Selim Balcisoy
2014 — conf
An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines.
ISCIS
Canan Güniçen, Kemal Inan, Uraz Cengiz Türker, Hüsnü Yenigün
2014 — conf
Distinguishing Sequences for Partially Specified FSMs.
NASA Formal Methods
Robert M. Hierons, Uraz Cengiz Türker
2014 J jnl
Hardness and inapproximability of minimizing adaptive distinguishing sequences.
Formal Methods Syst. Des.
Uraz Cengiz Türker, Hüsnü Yenigün
2014 — —
Improvements in finite state machine based testing (Sonlu durum makinelerine dayalı sınama dizilerinde iyileştirmeler)
Uraz Cengiz Türker
2014 C conf
Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences.
ICTSS
Uraz Cengiz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün
2014 J jnl
The relation between preset distinguishing sequences and synchronizing sequences.
Formal Aspects Comput.
Canan Güniçen, Kemal Inan, Uraz Cengiz Türker, Hüsnü Yenigün
2011 — conf
Generating Preset Distinguishing Sequences Using SAT.
ISCIS
Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, Hüsnü Yenigün
2007 — conf
"Space Frames": Using space, color and animation in the visualization of complex graph systems.
ICAT
Elif E. Ayiter, Selim Balcisoy, Murat Germen, Ismail Kasarci, Uraz Cengiz Türker, Merve Cayli