English Deutsch • 
login
Your locale preferences have been saved. We like to think that we have excellent support for English in pretalx, but if you encounter issues or errors, please contact us!

Benedikt Maderbacher
.ical

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.

Which username do you plan to use in the chat? –

benedikt.maderbacher

Session

04-10
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.

Session2