ListarLCC - Contribuciones a congresos científicos por tema "Satisfiability problem"
Mostrando ítems 1-1 de 1
-
On the Application of SAT Solvers to the Test Suite Minimization Problem
(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 ...