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.
#Property-Based Testing
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.