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

Franco Arito, Francisco Chicano, Enrique Alba

Browse the full SSBSE paper archive.