Benedikt Maderbacher

I am a PhD Student in Formal Methods at TU Graz. My research revolves around the questions: How can we make sure programs are doing what they are supposed to do? Can we generate small programs that ensure that our programs will always behave correctly.


Welche Usernamen wirst du im Chat benutzen?

benedikt.maderbacher


Vorträge

10.04
11:00
40min
Property Based Testing
Benedikt Maderbacher

In this talk we will explore how describe properties of your program in away that allows the computer to automatically generate hundreds of test cases for you. We will discuss this using the Hypothesis framework for Python.

Saal2