Property-based testing matches the specified behavior, aka your instructions, to what the code is doing. Kiro can help users ...