QuickCheck Dynamic: Testing Hard Properties and Staying Sane - Lambda Days 2023

Explore the power of QuickCheck Dynamic for testing complex liveness properties in software systems. Dive into this Lambda Days 2023 conference talk that introduces an open-source extension to Haskell QuickCheck, designed to simplify the testing of challenging system behaviors. Learn how to leverage property-based testing techniques to verify fair request distribution among worker threads and ensure updates reach all nodes. Discover the principles behind QuickCheck Dynamic and its successful applications in real-world scenarios. Gain insights into combining established methodologies with innovative strategies to test even the most difficult-to-reach system behaviors. Whether you're a seasoned developer or new to property-based testing, this presentation offers valuable knowledge to enhance your testing practices and maintain system reliability.