Uraz Cengiz Türker

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 21

Top Topics

Finite State Machines

Test Generation

Top Venues

IEEE Trans. Software Eng.

Publications

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