Regression test suites tend to grow over time as new test cases are added to exercise new functionality or to target newly-discovered faults. When test suites become too large, they can be difficult to manage and expensive to run, especially when they involve complicated machinery or manual effort. Test-suite minimization techniques address this issue by eliminating redundant test cases from a test suite based on some criteria, while trying to maintain the overall effectiveness of the reduced test suite. Most minimization techniques proposed to date have two main limitations: they perform minimization based on a single criterion and produce approximated suboptimal solution. In this paper, we propose a test-suite minimization framework that overcomes these limitations. Our framework allows for (1) easily encoding a wide spectrum of test-suite minimization problems, (2) handling problems that involve any number of criteria, and (3) computing optimal solutions to minimization problems ...