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:
- Symbolic testing, where the model is used to generate a sequence of