Test Suite Minimization with Mutation Testing-Based Many-Objective Evolutionary Optimization | IEEE Conference Publication | IEEE Xplore