Example-based tests miss the edges. Property-based testing flips the approach. I show six useful patterns, stateful PBT for sequence bugs, and why this topic is well-suited for AI-assisted use.
Tests
A test suite can show good coverage and miss an obvious bug. To measure real quality, I look at four complementary axes, with a simple audit to apply to an existing project.
Once the spec is in place, I split the work between humans, AI, and deterministic tools. The critical test does not always come from the same author as the code, and the critic-agent often matters more than the writer-agent.
The first step in the AI workflow is specification. This article shows how I turn a vague user story into something a human and an agent can use without guessing, with Gherkin, typed examples, and properties.