#Model-Based 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.

#Go#Testing#Property-Based Testing#Model-Based Testing