Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
