Property-Based Testing with jqwik: A Practical Guide

A guide how to write property-based tests in Java: theory and practice