Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study | Synapse