Property-Based Testing with PropEr in Elixir

Adjusting the Model: Better Statistics

Explore how to improve model accuracy by adjusting callbacks in state machine properties. Learn to increase the likelihood of specific state transitions and achieve better event distribution in property-based testing with PropEr.

We'll cover the following...

Adding the call back
Running the code

1.Foundations of Property-Based Testing

2.Writing Properties

3.Thinking in Properties

4.Custom Generators

5.Responsible Testing

6.Properties-Driven Development

7.Shrinking

8.Stateful Properties

9.Case Study: Bookstore

10.State Machine Properties

11.Conclusion

Adjusting the Model: Better Statistics

Adding the call back