On the Application of SAT Solvers to the Test Suite Minimization Problem | Publicación