https://www.rohitjha.dev/tags/testing/Recent content in Testing on Rohit JhaHugoen-US© Rohit Jha. Articles licensed under CC BY-SA 4.0 unless noted.Mon, 01 Jan 0001 00:00:00 +0000https://www.rohitjha.dev/blog/property-based-testing-in-go/Tue, 28 Jul 2026 00:00:00 +0000https://www.rohitjha.dev/blog/property-based-testing-in-go/<p>I&rsquo;ve encountered types that serialized and deserialized without error, yet came back different. Nothing crashed and the serialized data looked valid. The round trip had changed the value.</p> <p>The serializer passed the examples I had written but violated an invariant for a value I had not chosen. Example-based tests are still useful because they document specific cases well. Property-based testing (PBT) states what must hold across a domain, then generates inputs and shrinks failures to smaller counterexamples.</p>