![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Uraz Cengiz Türker
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j19]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): 574-597 (2024) - 2023
- [j18]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): 4371-4389 (2023) - 2022
- [j17]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) - 2021
- [j16]Uraz Cengiz Türker, Robert M. Hierons
, Guy-Vincent Jourdan:
Minimizing Characterizing sets. Sci. Comput. Program. 208: 102645 (2021) - [j15]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): 1029-1040 (2021) - [c10]Uraz Cengiz Türker, Robert M. Hierons
, Mohammad Reza Mousavi, Ivan Yu. Tyukin:
Efficient state synchronisation in model-based testing through reinforcement learning. ASE 2021: 368-380 - 2020
- [j14]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: 13-24 (2020)
2010 – 2019
- 2019
- [j13]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): 109-129 (2019) - [j12]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): 3544-3556 (2019) - [c9]Kadir Bulut, Guy-Vincent Jourdan
, Uraz Cengiz Türker
:
Minimizing Characterizing Sets. FACS 2019: 72-86 - 2017
- [j11]Robert M. Hierons
, Uraz Cengiz Türker:
Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences. Comput. J. 60(1): 110-125 (2017) - [j10]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): 5:1-5:34 (2017) - [c8]Robert M. Hierons
, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker:
Hardness of Deriving Invertible Sequences from Finite State Machines. SOFSEM 2017: 147-160 - 2016
- [j9]Robert M. Hierons
, Uraz Cengiz Türker:
Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences. Comput. J. 59(8): 1186-1206 (2016) - [j8]Uraz Cengiz Türker, Tonguç Ünlüyurt
, Hüsnü Yenigün:
Effective algorithms for constructing minimum cost adaptive distinguishing sequences. Inf. Softw. Technol. 74: 69-85 (2016) - [j7]Robert M. Hierons
, Uraz Cengiz Türker:
Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets. IEEE Trans. Computers 65(11): 3370-3383 (2016) - [j6]Robert M. Hierons
, Uraz Cengiz Türker:
Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences. IEEE Trans. Software Eng. 42(11): 1077-1091 (2016) - [c7]Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün:
Parallelizing Heuristics for Generating Synchronizing Sequences. ICTSS 2016: 106-122 - 2015
- [j5]Robert M. Hierons
, Uraz Cengiz Türker:
Incomplete Distinguishing Sequences for Finite State Machines. Comput. J. 58(11): 3089-3113 (2015) - [j4]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): 99-122 (2015) - [c6]Robert M. Hierons
, Uraz Cengiz Türker:
Generating Minimum Height ADSs for Partially Specified Finite State Machines. ISCIS 2015: 171-179 - 2014
- [b1]Uraz Cengiz Türker:
Improvements in finite state machine based testing (Sonlu durum makinelerine dayalı sınama dizilerinde iyileştirmeler). Sabancı University, Turkey, 2014 - [j3]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): 1153-1167 (2014) - [j2]Uraz Cengiz Türker, Hüsnü Yenigün:
Hardness and inapproximability of minimizing adaptive distinguishing sequences. Formal Methods Syst. Des. 44(3): 264-294 (2014) - [j1]Uraz Cengiz Türker, Selim Balcisoy
:
A visualisation technique for large temporal social network datasets in Hyperbolic space. J. Vis. Lang. Comput. 25(3): 227-242 (2014) - [c5]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: 325-335 - [c4]Robert M. Hierons
, Uraz Cengiz Türker:
Distinguishing Sequences for Partially Specified FSMs. NASA Formal Methods 2014: 62-76 - [c3]Uraz Cengiz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün:
Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences. ICTSS 2014: 32-47 - 2011
- [c2]Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, Hüsnü Yenigün:
Generating Preset Distinguishing Sequences Using SAT. ISCIS 2011: 487-493
2000 – 2009
- 2007
- [c1]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: 286-287
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint