This conference talk from Lambda Days 2024 explores Martin Janiczek's journey of creating a property-based testing framework for SerenityOS. Discover how the speaker tackled the challenge of bringing QuickCheck/Hypothesis-style testing to this open source operating system project. Learn about the implementation process, including automatic shrinking capabilities, unexpected complications encountered along the way, and their solutions. The presentation covers various categories of property tests written across SerenityOS applications and libraries, along with real bugs discovered through this testing approach. Gain insights into how property-based testing can find edge cases, refine system understanding, and provide confidence beyond traditional unit testing's happy path scenarios.