dc.creator | Heradio, Ruben | es |
dc.creator | Fernández Amorós, David | es |
dc.creator | Galindo Duarte, José Ángel | es |
dc.creator | Benavides Cuevas, David Felipe | es |
dc.date.accessioned | 2021-11-03T10:55:09Z | |
dc.date.available | 2021-11-03T10:55:09Z | |
dc.date.issued | 2020 | |
dc.identifier.citation | Heradio, R., Fernández Amorós, D., Galindo Duarte, J.Á. y Benavides Cuevas, D.F. (2020). Uniform and scalable SAT-sampling for configurable systems. En SPLC 2020: 24th International Systems and Software Product Line Conference (1-11), Montreal, Quebec, Canada: Association for Computing Machinery (ACM). | |
dc.identifier.isbn | 978-1-4503-7569-6 | es |
dc.identifier.uri | https://hdl.handle.net/11441/127024 | |
dc.description.abstract | Several relevant analyses on configurable software systems remain intractable because they require examining vast and highly-constrained configuration spaces. Those analyses could be addressed through statistical inference, i.e., working with a much more tractable sample that later supports generalizing the results obtained to the entire configuration space. To make this possible, the laws of statistical inference impose an indispensable requirement: each member of the population must be equally likely to be included in the sample, i.e., the sampling process needs to be "uniform". Various SAT-samplers have been developed for generating uniform random samples at a reasonable computational cost. Unfortunately, there is a lack of experimental validation over large configuration models to show whether the samplers indeed produce genuine uniform samples or not. This paper (i) presents a new statistical test to verify to what extent samplers accomplish uniformity and (ii) reports the evaluation of four state-of-the-art samplers: Spur, QuickSampler, Unigen2, and Smarch. According to our experimental results, only Spur satisfies both scalability and uniformity. | es |
dc.description.sponsorship | Ministerio de Ciencia, Innovación y Universidades VITAL-3D DPI2016-77677-P | es |
dc.description.sponsorship | Ministerio de Ciencia, Innovación y Universidades OPHELIA RTI2018-101204-B-C22 | es |
dc.description.sponsorship | Comunidad Autónoma de Madrid CAM RoboCity2030 S2013/MIT-2748 | es |
dc.description.sponsorship | Agencia Estatal de Investigación TIN2017-90644-REDT | es |
dc.format | application/pdf | es |
dc.format.extent | 23 | es |
dc.language.iso | eng | es |
dc.publisher | Association for Computing Machinery (ACM) | es |
dc.relation.ispartof | SPLC 2020: 24th International Systems and Software Product Line Conference (2020), pp. 1-11. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Uniform and scalable SAT-sampling for configurable systems | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | VITAL-3D DPI2016-77677-P | es |
dc.relation.projectID | OPHELIA RTI2018-101204-B-C22 | es |
dc.relation.projectID | CAM RoboCity2030 S2013/MIT-2748 | es |
dc.relation.projectID | TIN2017-90644-REDT | es |
dc.relation.publisherversion | https://dl.acm.org/doi/10.1145/3382025.3414951 | es |
dc.identifier.doi | 10.1145/3382025.3414951 | es |
dc.publication.initialPage | 1 | es |
dc.publication.endPage | 11 | es |
dc.eventtitle | SPLC 2020: 24th International Systems and Software Product Line Conference | es |
dc.eventinstitution | Montreal, Quebec, Canada | es |
dc.relation.publicationplace | New York, USA | es |
dc.contributor.funder | Ministerio de Ciencia, Innovación y Universidades (MICINN). España | es |
dc.contributor.funder | Comunidad Autónoma de Madrid | es |
dc.contributor.funder | Agencia Estatal de Investigación. España | es |