Fixing-up Production with Property-based Testing
Property-based testing is often touted as a magical solution to testing: write one property and get hundreds of tests back. Although this sounds appealing, we can only property-test the reverse function so many times.
But can we use property-based testing for something real? Yes! In this talk, you will conduct a short case study of a real production issue that was debugged, minimized, and fixed using property-based testing to experience first-hand the usefulness of property-based testing and its staples of random data generation, shrinking, and well-defined properties.