Uraz Cengiz Türker

发表

Generating Preset Distinguishing Sequences Using SAT

Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, 2011, ISCIS.

Visualization of large temporal social network datasets

Uraz Cengiz Türker, 2008 .

Effective algorithms for constructing minimum cost adaptive distinguishing sequences

Uraz Cengiz Türker, Hüsnü Yenigün, Tonguç Ünlüyurt, 2016, Inf. Softw. Technol..

Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs

Robert M. Hierons, Uraz Cengiz Türker, 2017, ACM Trans. Softw. Eng. Methodol..

Hardness of Deriving Invertible Sequences from Finite State Machines

Robert M. Hierons, Mohammad Reza Mousavi, Uraz Cengiz Türker, 2017, SOFSEM.

Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets

Robert M. Hierons, Uraz Cengiz Türker, 2016, IEEE Transactions on Computers.

Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences

Robert M. Hierons, Uraz Cengiz Türker, 2017, Comput. J..

Multicore and manycore parallelization of cheap synchronizing sequence heuristics

Uraz Cengiz Türker, Hüsnü Yenigün, Kamer Kaya, 2020, J. Parallel Distributed Comput..

Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata

Uraz Cengiz Türker, Hüsnü Yenigün, Hüsnü Yenigün, 2015, Int. J. Found. Comput. Sci..

Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences

Robert M. Hierons, Uraz Cengiz Türker, R. Hierons, 2016, Comput. J..

"Space Frames": Using space, color and animation in the visualization of complex graph systems

Uraz Cengiz Türker, Selim Balcisoy, Elif Ayiter, 2007 .

Incomplete Distinguishing Sequences for Finite State Machines

Robert M. Hierons, Uraz Cengiz Türker, R. Hierons, 2015, Comput. J..

Parallelizing Heuristics for Generating Synchronizing Sequences

Uraz Cengiz Türker, Hüsnü Yenigün, Kamer Kaya, 2016, ICTSS.

Generating Minimum Height ADSs for Partially Specified Finite State Machines

Robert M. Hierons, Uraz Cengiz Türker, 2015, ISCIS.

Distinguishing Sequences for Partially Specified FSMs

Robert M. Hierons, Uraz Cengiz Türker, R. Hierons, 2014, NASA Formal Methods.

$\mathcal{K}$ -branching UIO sequences for partially specified observable non-deterministic FSMs

Uraz Cengiz Türker, Khaled El-Fakih, Robert M. Hierons, 2020 .

Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences

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

"Space Frames": Using space, color and animation in the visualization of complex graph systems

Uraz Cengiz Türker, Selim Balcisoy, Murat Germen, 2007, 17th International Conference on Artificial Reality and Telexistence (ICAT 2007).

Extending HSI Test Generation Method for Software Product Lines

Mohammad Reza Mousavi, Uraz Cengiz Türker, Adenilso da Silva Simão, 2018, Comput. J..

Minimizing Characterizing Sets

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

An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines

Canan Güniçen, Uraz Cengiz Türker, Hüsnü Yenigün, 2014, ISCIS.

Parallel brute-force algorithm for deriving reset sequences from deterministic incomplete finite automata

Uraz Cengiz Türker, 2019, Turkish J. Electr. Eng. Comput. Sci..

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

Uraz Cengiz Türker, Selim Balcisoy, Selim Balcisoy, 2014, J. Vis. Lang. Comput..

Hardness and inapproximability of minimizing adaptive distinguishing sequences

Uraz Cengiz Türker, Hüsnü Yenigün, 2014, Formal Methods Syst. Des..

The relation between preset distinguishing sequences and synchronizing sequences

Canan Güniçen, Uraz Cengiz Türker, Hüsnü Yenigün, 2014, Formal Aspects of Computing.

Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences

Robert M. Hierons, Uraz Cengiz Türker, R. Hierons, 2016, IEEE Transactions on Software Engineering.

Efficient state synchronisation in model-based testing through reinforcement learning

Robert M. Hierons, Mohammad Reza Mousavi, Uraz Cengiz Türker, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Minimizing Characterizing sets

Robert M. Hierons, Uraz Cengiz Türker, Guy-Vincent Jourdan, 2021, Sci. Comput. Program..

Hardness and inapproximability results for minimum verification set and minimum path decision tree problems

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

K -branching UIO sequences for partially speciﬁed observable non-deterministic FSMs

Uraz Cengiz Türker, R. Hierons, K. El-Fakih, 2020 .

Assessing test suites of extended finite state machines against model‐ and code‐based faults

Uraz Cengiz Türker, K. El-Fakih, A. Alzaatreh, 2021, Softw. Test. Verification Reliab..

The relation between preset distinguishing sequences and synchronizing sequences

Uraz Cengiz Türker, Hüsnü Yenigün, K. Inan, 2014, Formal Aspects of Computing.

Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs

Uraz Cengiz Türker, R. Hierons, K. El-Fakih, 2023, IEEE Transactions on Software Engineering.

Hardness and inapproximability of minimizing adaptive distinguishing sequences

Uraz Cengiz Türker, Hüsnü Yenigün, 2014, Formal Methods Syst. Des..

Accelerating Finite State Machine-Based Testing using Reinforcement Learning

Uraz Cengiz Türker, R. Hierons, Khaled El-Fakih, 2024, IEEE Transactions on Software Engineering.