Reformulating Branch Coverage as a Many-Objective Optimization Problem | IEEE Conference Publication | IEEE Xplore