2026-06-07T08:01:47Zhttps://riuma.uma.es/rest/oai/requestoai:riuma.uma.es:10630/81922026-02-03T12:00:24Zcom_10630_2254col_10630_37959
On the Application of SAT Solvers to the Test Suite Minimization Problem
Arito, Franco
Chicano-García, José-Francisco
Alba-Torres, Enrique
Ingeniería del software
Test suite minimization
Satisfiability problem
Multi-objective optimization
Arito, F., Chicano F., & Alba E. (2012). On the Application of SAT Solvers to the Test Suite Minimization Problem. (Fraser, G., & de Souza J. Teixeira, Ed.).Search Based Software Engineering - 4th International Symposium, {SSBSE} 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings. 45–59.
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.
Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Spanish Ministry of Science and Innovation and FEDER under contract TIN2011-28194 (RoadME project). Andalusian Government under contract P07-TIC-03044 (DIRICOM project).
2014-10-06T10:53:06Z
2014-10-06T10:53:06Z
2014-10-06
conference output
http://hdl.handle.net/10630/8192
eng
International Symposium on Search Based Software Engineering
Riva del Garda, Italy
28/9/2012
open access
application/pdf