• 3.1 Lesson 3.1: Introduction to Self-Testing

  • 3.1.1 Video: Self-Testing

• 3.2: Pre- and Postconditions

  • 3.2.1 Video: Pre- and Postconditions

• 3.3 Lesson 3.3: Invariants

  • 3.3.1 Video: Invariants

• 3.4: Design by Contract

  • 3.4.1 Video: Design by Contract

• 3.5: Lesson 3.5: Testing Class Hierarchies

  • 3.5.1 Video: Testing Class Hierarchies

• 3.6 Lesson 3.6: Testing with Assertions

  • 3.6.1 Video: Testing with Assertions

• 3.7 Lesson 3.7: Property Based Testing

  • 3.7.1 Video: Property-Based Testing