1. 1. Introduction
  2. 2. Basic Testing
    1. 2.1. Unit tests
    2. 2.2. Integration tests
    3. 2.3. Fork tests
    4. 2.4. Fuzz Tests
  3. 3. Advanced Testing
    1. 3.1. Invariant Tests
    2. 3.2. Differential Tests
    3. 3.3. Lifecycle Tests
    4. 3.4. Scenario Tests
      1. 3.4.1. Building a scenario test runner
    5. 3.5. Mutation Tests
  4. 4. Formal verification
  5. 5. Symbolic Testing
  6. 6. Swiss Cheese Method
  7. 7. Branching Tree Technique
  8. 8. Resources

Smart Contract Testing: For dummies

Branching Tree Technique