2026-05-31T22:54:11Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/81922026-02-03T12:00:24Zcom_10630_2254col_10630_37959

00925njm 22002777a 4500 dc Arito, Franco author Chicano-García, José-Francisco author Alba-Torres, Enrique author 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 coverage and/or minimizing the oracle cost. In this work we use an approach based on SAT solvers to find optimal solutions for the Test Suite Minimization Problem. The approach comprises two translations: from the original problem instance into Pseudo-Boolean constraints and then to a propositional Boolean formula. In order to solve a problem, we first translate it into a SAT instance. Then the SAT instance is solved using a state-of-the-art SAT solver. Our main contributions are: we create an encoding for single and multi-objective formulations of the Test Suite Minimization Problem as Pseudo-Boolean constraints and we compute optimal solutions for well-known and highly-used instances of this problem for future reference. http://hdl.handle.net/10630/8192 Ingeniería del software On the Application of SAT Solvers to the Test Suite Minimization Problem