More information

I am a PhD student at the Software Engineering Group. My supervisor is Prof. Reiner Hähnle. I was previously affiliated with Leipzig University.