Practical Formal Methods in the Age of AI
A risk-driven way to choose among fuzzing, property tests, state-machine tests, Alloy and TLA+ when AI makes code faster to produce.
#Testing
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 in Go: Testing Invariants with Generated Inputs
Using Rapid to test serialization round trips, deterministic event IDs and stateful behavior with generated inputs.