An Introduction to Property Based Testing. Lightning talk by Roland Tritsch | ElixirConf EU 2023