Mostrar el registro sencillo del ítem

dc.contributor.authorArito, Franco
dc.contributor.authorChicano, Francisco 
dc.contributor.authorAlba-Torres, Enrique 
dc.date.accessioned2014-10-06T10:53:06Z
dc.date.available2014-10-06T10:53:06Z
dc.date.issued2014-10-06
dc.identifier.urihttp://hdl.handle.net/10630/8192
dc.descriptionArito, 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.es_ES
dc.description.abstractThe 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.es_ES
dc.description.sponsorshipUniversidad 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).es_ES
dc.language.isoenges_ES
dc.rightsinfo:eu-repo/semantics/openAccess
dc.subjectIngeniería del softwarees_ES
dc.subject.otherTest suite minimizationes_ES
dc.subject.otherSatisfiability problemes_ES
dc.subject.otherMulti-objective optimizationes_ES
dc.titleOn the Application of SAT Solvers to the Test Suite Minimization Problemes_ES
dc.typeinfo:eu-repo/semantics/conferenceObjectes_ES
dc.centroE.T.S.I. Informáticaes_ES
dc.relation.eventtitleInternational Symposium on Search Based Software Engineeringes_ES
dc.relation.eventplaceRiva del Garda, Italyes_ES
dc.relation.eventdate28/9/2012es_ES


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem