Property-based Testing with FsCheck

Generate random inputs to verify invariants in your business logic.