How to Effectively Reduce Tens of Millions of Tests: An Industrial Case Study on Adaptive Random Testing | Synapse