Automation: Testing or Checking?