…Everyone who sees a property-based testing tool like FsCheck or QuickCheck thinks that it is amazing… but when it times come to start creating your own properties, the universal complaint is: “what properties should I use? I can’t think of any!”
The goal of this post is to show some common patterns that can help you discover the properties that are applicable to your code.
I’ve been referring to this article a lot recently while coming up with properties. It is an invaluable resource.