Summary of An Effective Formulation of the Multi-Criteria Test Suite Minimization Problem | IEEE Conference Publication | IEEE Xplore