You might find these useful: https://hypothesis.works/articles/rule-based-stateful-testing/ https://hypothesis.works/articles/rule-based-stateful-testin... ht

You might find these useful: https://hypothesis.works/articles/rule-based-stateful-testing/ https://hypothesis.works/articles/rule-based-stateful-testin... http://propertesting.com/book_stateful_properties.html http://propertesting.com/book_stateful_properties.html For a long time, I felt the same way you describe: all introductions to property-based testing show you things like testing a function that reverses a list and yes it all looks very useful and nifty, but it's hard to imagine how to formulate interesting variants for more complex code. These two posts were the first to really give me a fuller picture and lots of practical strategies: https://fsharpforfunandprofit.com/posts/property-based-testing/ https://fsharpforfunandprofit.com/posts/property-based-testi... https://fsharpforfunandprofit.com/posts/property-based-testing-2/ https://fsharpforfunandprofit.com/posts/property-based-testi... (In general, everything I've ready/watched by Scott Wlaschin has been super helpful, and I've never written a line of F#.)