Uraz Turker - Research Portal | Lancaster University

Professor Turker’s research largely concerns model based testing. The importance of this research is that it allows the development of automated techniques (and tools) that generate efficient, systematic test suites quickly on the basis of formal models that encapsulates the behaviour of the underlying software.

Prof. Turker has recently become interested in testing of cyberphysical and autonomous systems equipped with self-learning control algorithms.

Show more...Show less

Publications & Outputs

E-pub ahead of print
Incomplete adaptive distinguishing sequences for non-deterministic FSMs
Turker, U., Hierons, R. M., El-Fakih, K. & Barlas, G., 5/07/2023, (E-pub ahead of print) In: IEEE Transactions on Software Engineering.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
$\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms
El-Fakih, K., Hierons, R. M. & Turker, U. C., 1/05/2021, In: IEEE Transactions on Software Engineering. 47, 5, p. 1029-1040 12 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Minimizing Characterizing Sets
Bulut, K., Jourdan, G. V. & Türker, U. C., 13/02/2020, Formal Aspects of Component Software (FACS 2019). Arbab, F. & Jongmans, S. S. (eds.). Cham: Springer, p. 72-86 15 p. (Lecture Notes in Computer Science; vol. 12018).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

View all (3) »

Research

Affiliations

Current Postgraduate Research Students

Hanan Alqahtani

Miles Walker

Dr Uraz Turker

Research overview

Publications & Outputs

Incomplete adaptive distinguishing sequences for non-deterministic FSMs

$\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms

Minimizing Characterizing Sets

Quick Links

Connect With Us

Faculties & Depts

Contact Us