From Property-Based Testing to Model-Based Testing
Using Rapid to generate operation sequences, compare a booking system with a simpler model and shrink failing histories.
#Go
Property-Based Testing in Go: Testing Invariants with Generated Inputs
Using Rapid to test serialization round trips, deterministic event IDs and stateful behavior with generated inputs.
Microservices in Go (Part 1)
An archived introduction to building a small HTTP microservice with Go 1.16.