Florian Lorber

I am a research assistant at the Institute for Software Technology at Graz University of Technology, Austria. I am in the „formal methods“ research group led by my supervisor Bernhard K Aichernig.

My research focuses on model-based mutation testing of real-time systems. I am pioneering the tools MoMuT::TA (MoMuT for Timed Automata) and MoMuT::REQS (MoMuT for Requirements), which are part of a model-based mutation testing toolchain.

I started my doctoral school in 2012 and finished it with distinction in 2016. An abstract and the thesis itself can be found here.

To contact me, please use either florber@ist.tugraz.at or +43 316 873 5728.