The vision of my research is to achieve
(more) automation and simplification of the development of dependable software systems.
For that purpose, I'm working on analytical as well as constructive methods in order to achieve this vision.

The primary focus of my work is in the field of software testing. I am working on two important problems, namely

Furthermore, I am also working towards constructive methods to build dependable systems: