https://softwarepatternslexicon.com/kotlin/testing-and-design-patterns/property-based-testing/