When you first start on PBT, the first hurdle is finding good properties of your system to test. I found this article [1] to be a great overview to get started.

When you first start on PBT, the first hurdle is finding good properties of your system to test. I found this article [1] to be a great overview to get started. [1]: https://fsharpforfunandprofit.com/posts/property-based-testing-2/ https://fsharpforfunandprofit.com/posts/property-based-testi...