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.