Property-based Testing in Java: The Importance of Being Shrunk

In the previous episode we’ve been looking at some important features of jqwik and other PBT libraries. It’s now time to check out how those libs try to help us with overcoming some of the drawbacks of random generation. The Importance of Being Shrunk One problem that comes with random generation is the loose relation between the randomly chosen falsifying example and the problem underlying the failing property. A simple example illustrates this concern: @Property ( shrinking = ShrinkingMode . OFF ) boolean