Publicación: Uniform and scalable sampling of highly configurable systems
dc.contributor.author | Galindo, José A. | |
dc.contributor.author | Benavides, David | |
dc.contributor.author | Batory, Don | |
dc.contributor.author | Heradio Gil, Rubén | |
dc.contributor.author | Fernández Amoros, David José | |
dc.date.accessioned | 2024-08-21T12:13:29Z | |
dc.date.available | 2024-08-21T12:13:29Z | |
dc.date.issued | 2022-01-21 | |
dc.description.abstract | Many 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.version | versión final | |
dc.identifier.doi | https://doi.org/10.1007/s10664-021-10102-5 | |
dc.identifier.issn | 1382-3256; eISSN: 1573-7616 | |
dc.identifier.uri | https://hdl.handle.net/20.500.14468/23274 | |
dc.journal.issue | 44 | |
dc.journal.title | Empirical Software Engineering | |
dc.journal.volume | 27 | |
dc.language.iso | en | |
dc.publisher | Springer | |
dc.relation.center | Facultades y escuelas::E.T.S. de Ingeniería Informática | |
dc.relation.department | Ingeniería de Software y Sistemas Informáticos | |
dc.rights | Atribución 4.0 Internacional | |
dc.rights | info:eu-repo/semantics/openAccess | |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0 | |
dc.subject.keywords | Uniform sampling | |
dc.subject.keywords | Confgurable systems | |
dc.subject.keywords | Software product lines | |
dc.subject.keywords | Binary decision diagrams | |
dc.subject.keywords | SAT-solvers | |
dc.title | Uniform and scalable sampling of highly configurable systems | es |
dc.type | artículo | es |
dc.type | journal article | en |
dspace.entity.type | Publication | |
relation.isAuthorOfPublication | 38af03ae-439e-45a8-8383-80340d20f7cb | |
relation.isAuthorOfPublication | 60bb7374-7021-4fda-b2cb-ef7f923c64f4 | |
relation.isAuthorOfPublication.latestForDiscovery | 38af03ae-439e-45a8-8383-80340d20f7cb |
Archivos
Bloque original
1 - 1 de 1
Cargando...
- Nombre:
- Heradio_Ruben_Uniform_and_Scalable_Sampling.pdf
- Tamaño:
- 27.76 MB
- Formato:
- Adobe Portable Document Format