Automatically generating your tests from a specification

When teams collaborate on backend and frontend systems they establish contracts through APIs that need verification. This keynote demonstrates how to convert syntactic API specifications into testable specifications for stateful web services using property-based testing. Manual testing often misses edge cases, but property-based testing discovers errors earlier by generating diverse test scenarios. The shrinking feature identifies minimal examples that reproduce bugs, accelerating diagnosis — and as specifications change through the lifetime of a project, automated tests immediately reveal incompatibilities without rewriting hundreds of cases by hand.