Publicación:
Uniform and scalable sampling of highly configurable systems

Vista sencilla de ítem
dc.contributor.authorGalindo, José A.
dc.contributor.authorBenavides, David
dc.contributor.authorBatory, Don
dc.contributor.authorHeradio Gil, Rubén
dc.contributor.authorFernández Amoros, David José
dc.date.accessioned2024-06-11T15:15:20Z
dc.date.available2024-06-11T15:15:20Z
dc.date.issued2022-01-21
dc.description.abstractMany analyses on configurable software systems are intractable when confronted with colossal and highly-constrained configuration spaces. These analyses could instead use statistical inference, where a tractable sample accurately predicts results for the entire space. To do so, the laws of statistical inference requires each member of the population to be equally likely to be included in the sample, i.e., the sampling process needs to be “uniform”. SAT-samplers have been developed to generate uniform random samples at a reasonable computational cost. However, there is a lack of experimental validation over colossal spaces to show whether the samplers indeed produce uniform samples or not. This paper (i) proposes a new sampler named BDDSampler, (ii) presents a new statistical test to verify sampler uniformity, and (iii) reports the evaluation of BDDSampler and five other state-of-the-art samplers: KUS, QuickSampler, Smarch, Spur, and Unigen2. Our experimental results show only BDDSampler satisfies both scalability and uniformity.en
dc.description.versionversión final
dc.identifier.doihttps://doi.org/10.1007/s10664-021-10102-5
dc.identifier.issn1382-3256; eISSN: 1573-7616
dc.identifier.urihttps://hdl.handle.net/20.500.14468/22385
dc.journal.issue44
dc.journal.titleEmpirical Software Engineering
dc.journal.volume27
dc.language.isoen
dc.publisherSpringer
dc.relation.centerE.T.S. de Ingeniería Informática
dc.relation.departmentIngeniería de Software y Sistemas Informáticos
dc.rightsAtribución 4.0 Internacional
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by/4.0
dc.subject.keywordsUniform sampling
dc.subject.keywordsConfgurable systems
dc.subject.keywordsSoftware product lines
dc.subject.keywordsBinary decision diagrams
dc.subject.keywordsSAT-solvers
dc.titleUniform and scalable sampling of highly configurable systemses
dc.typeartículoes
dc.typejournal articleen
dspace.entity.typePublication
relation.isAuthorOfPublication38af03ae-439e-45a8-8383-80340d20f7cb
relation.isAuthorOfPublication60bb7374-7021-4fda-b2cb-ef7f923c64f4
relation.isAuthorOfPublication.latestForDiscovery38af03ae-439e-45a8-8383-80340d20f7cb
Archivos
Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Heradio_Ruben_Uniform_and_Scalable_Sampling.pdf
Tamaño:
27.76 MB
Formato:
Adobe Portable Document Format
Descargar
Colecciones
Artículos y papers