Wrapping Up

Here's a summary of what we learned in this chapter.

We'll cover the following...

Summary

This chapter has shown us the basics of stateful property testing, based on a single simple model. We’ve been through the two phases of the testing:

  1. Symbolic testing, where the model is used to generate a sequence of
...