A Python library for **property-based testing** that automatically generates test inputs to find edge cases and failures. (Ch. 21)