How to Effectively Reduce Tens of Millions of Tests: An Industrial Case Study on Adaptive Random Testing | IEEE Journals & Magazine | IEEE Xplore