• Necessary
• Unreachable edge cases
• Sufficient
• Insufficient assertions
• Liberal stubs