Mostrar el registro sencillo del ítem

dc.contributor.authorMunoz, Daniel-Jesus
dc.contributor.authorPinto, Mónica
dc.contributor.authorFuentes, Lidia
dc.contributor.authorOh, Jeho
dc.contributor.authorBatory, Don
dc.date.accessioned2019-10-09T12:08:38Z
dc.date.available2019-10-09T12:08:38Z
dc.date.created2019
dc.date.issued2019-10-09
dc.identifier.urihttps://hdl.handle.net/10630/18548
dc.description.abstractAnalyses of Software Product Lines (SPLs) rely on automated solvers to navigate complex dependencies among features and find legal configurations. Often these analyses do not support numerical features with constraints because propositional formulas use only Boolean variables. Some automated solvers can represent numerical features natively, but are limited in their ability to count and Uniform Random Sample (URS) conigurations, which are key operations to derive unbiased statistics on configuration spaces. Bit-blasting is a technique to encode numerical constraints as propositional formulas. We use bit-blasting to encode Boolean and numerical constraints so that we can exploit existing #SAT solvers to count and URS conigurations. Compared to state-of-art Satisfiability Modulo Theory and Constraint Programming solvers, our approach has two advantages: 1) faster and more scalable coniguration counting and 2) reliable URS of SPL configurations. We also show that our work can be used to extend prior SAT-based SPL analyses to support numerical features and constraints.en_US
dc.description.sponsorshipUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.en_US
dc.language.isoengen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectSoftwareen_US
dc.subject.otherFeature Modelen_US
dc.subject.otherBit-Blastingen_US
dc.subject.otherPropositional Formulaen_US
dc.subject.otherNumerical Featuresen_US
dc.subject.otherModel countingen_US
dc.subject.otherSoftware Product Linesen_US
dc.titleUniform Random Sampling Product Configurations of Feature Models That Have Numerical Featuresen_US
dc.typeinfo:eu-repo/semantics/conferenceObjecten_US
dc.centroE.T.S.I. Informáticaen_US
dc.relation.eventtitleSoftware Product Line Conference 2019en_US
dc.relation.eventplaceParís (Francia)en_US
dc.relation.eventdate9-13 septiembre, 2019en_US


Ficheros en el ítem

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

Mostrar el registro sencillo del ítem