https://peertube.watch/videos/watch/4c4e5809-3509-4ef4-af7a-1b52ac918190 As developers, we write unit tests in a TDD-style workflow for validating the behavior of our applications and libraries. However, all possible situations need to be manually thought out when writing the tests for the code. Property based testing aims to solve this by allowing the developer to specify behavior of their programs in terms of properties (invariants) of their code and then automatically generating tests that check if the property is indeed valid. In this talk, the key concepts of property based testing will be explained, along with clarifying examples, ranging from introductory snippets to more complex ‘real life’ scenarios. The examples will be written in Elixir; a functional programming language that runs on the Erlang virtual machine. The high level, flexible and expressive nature of the language make it an ideal fit for declaring properties against which a program can be checked. Speaker: Tonći, Track: Erlang, Elixir, Gleam and Friends devroom, Room: K.4.601, When: Saturday 3 February 2024, 11:40–12:00 (Brussels time), Schedule: FOSDEM 2024 event page, Slides & links Slides in PDF, Licence: Creative Commons Attribution 2.0 Belgium (CC BY 2.0 BE) (as stated in the FOSDEM video archive). Attribution: “Property based testing in Elixir” by Tonći, FOSDEM 2024. Original recording: 2024/k4601/fosdem-2024-3473-property-based-testing-in-elixir.av1.webm from the FOSDEM video archive. This channel is an unofficial mirror; FOSDEM is a free and non-commercial event organised by the community for the community. Thu, 15 Oct 2026 07:02:28 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://peertube.watch https://peertube.watch/lazy-static/avatars/3b284627-b75f-409e-ac2e-10f4c2946f43.png https://peertube.watch/videos/watch/4c4e5809-3509-4ef4-af7a-1b52ac918190 All rights reserved, unless otherwise specified in the terms specified at https://peertube.watch/about and potential licenses granted by each content's rightholder.