Property Based Testing in FsCheck

Thursday June 20th, 2024 @ 5:30 PM
Ahmed Hammad
SmartDraw Software


Many of us who use automated tests will use Example Based Tests; these are tests in which we provide data – the examples that should pass. However there’s another less known, but very powerful testing style called Property Based Testing. In this style of testing, we provide properties – universal invariants that should hold regardless of input. As a result, we no longer specify examples, but let a framework choose examples for us. This gives us a different way to think about our tests and software.

This talk introduces Property Based Testing using FsCheck. FsCheck is a property based testing framework for .NET. While this talk uses F# for most examples, it will provide some examples in C# as well.

Food / Drinks

Food and drinks will be provided! Please contact us (on meetup) if you have any dietary restrictions/food allergies.

Directions and Parking Instructions

Meeting will be held in the offices of SmartDraw Software, 1780 Hughes Landing Blvd #1100 on the 11th floor.

Enter through the main doors of the building and take the elevator to the 11th floor; the door to SmartDraw’s suite is in the elevator lobby on the 11th floor.

If you arrive at 1780 Hughes Landing after 6pm a member of the SmartDraw team will help you enter the building then travel up to the 11th floor.


Park in the garage directly opposite. You’ll need to take a ticket to enter but there is no fee to leave - parking is free.

Ahmed Hammad

Ahmed Hammad is a full stack software developer with Improving. He’s worked in a variety of industries including Oil & Gas, Market Research, Advertising and e-Commerce. He also hosts The Houston Functional Programmers user group, and co-hosts and presents at Just Enough Math, which presents math concepts applicable to software development.

When he isn’t programming, he’s writing, reading, watching educational videos, binge watching shows and bad movies.

Meeting Sponsor

Other Meetings Presented By This Speaker