Or, I want to use PBT, but I can never think of any properties to use UPDATE: I did a talk on property-based testing based on these posts. Slides and video here. In the previous two posts, I described the basics of property-based testing, and showed how it can save a lot of time by generating random tests. But here’s a common problem. Everyone who sees a property-based testing tool like FsCheck or