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: