Property-based Testing in Java: The Importance of Being Shrunk
How PBT libraries try to be more helpful
blog.johanneslink.net