• On the Application of SAT Solvers to the Test Suite Minimization Problem 

      Arito, Franco; Chicano, Francisco; Alba-Torres, Enrique (2014-10-06)
      The Test Suite Minimization problem in regression testing is a software engineering problem which consists in selecting a set of test cases from a large test suite that satisfies a given condition, like maximizing the ...