# More on State Machines and Testing

Lecture Videos

Topics covered:

1. Introduction
2. State machine example: token sale
3. Automatic testing using emulator traces
4. Test coverage
5. Interlude: optics
6. Property based testing with QuickCheck
7. Property based testing of Plutus Contracts
8. Homework