Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, Maxime Cordy

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019
Place of PublicationXian, China
Pages240-251
Number of pages12
DOIs
Publication statusPublished - 1 Apr 2019
Event12th IEEE International Conference on Software Testing, Verification and Validation, ICST 2019 - Xi'an, China
Duration: 22 Apr 201927 Apr 2019

Publication series

NameProceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019

Conference

Conference12th IEEE International Conference on Software Testing, Verification and Validation, ICST 2019
CountryChina
CityXi'an
Period22/04/1927/04/19

Keywords

  • Software product lines
  • Variability modeling
  • SAT
  • Configurable systems
  • Software testing
  • Uniform sampling

Cite this

Plazar, Q., Acher, M., Perrouin, G., Devroey, X., & Cordy, M. (2019). Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? In Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019 (pp. 240-251). [8730148] (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019). Xian, China. https://doi.org/10.1109/ICST.2019.00032
Plazar, Quentin ; Acher, Mathieu ; Perrouin, Gilles ; Devroey, Xavier ; Cordy, Maxime. / Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?. Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Xian, China, 2019. pp. 240-251 (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).
@inproceedings{93027cb8375246c2b191508a3201e87d,
title = "Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?",
keywords = "Software product lines, Variability modeling, SAT, Configurable systems, Software testing, Uniform sampling",
author = "Quentin Plazar and Mathieu Acher and Gilles Perrouin and Xavier Devroey and Maxime Cordy",
year = "2019",
month = "4",
day = "1",
doi = "10.1109/ICST.2019.00032",
language = "English",
isbn = "9781728117355",
series = "Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019",
pages = "240--251",
booktitle = "Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019",

}

Plazar, Q, Acher, M, Perrouin, G, Devroey, X & Cordy, M 2019, Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019., 8730148, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019, Xian, China, pp. 240-251, 12th IEEE International Conference on Software Testing, Verification and Validation, ICST 2019, Xi'an, China, 22/04/19. https://doi.org/10.1109/ICST.2019.00032

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? / Plazar, Quentin; Acher, Mathieu; Perrouin, Gilles; Devroey, Xavier; Cordy, Maxime.

Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Xian, China, 2019. p. 240-251 8730148 (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

TY - GEN

T1 - Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

AU - Plazar, Quentin

AU - Acher, Mathieu

AU - Perrouin, Gilles

AU - Devroey, Xavier

AU - Cordy, Maxime

PY - 2019/4/1

Y1 - 2019/4/1

KW - Software product lines

KW - Variability modeling

KW - SAT

KW - Configurable systems

KW - Software testing

KW - Uniform sampling

U2 - 10.1109/ICST.2019.00032

DO - 10.1109/ICST.2019.00032

M3 - Conference contribution

SN - 9781728117355

T3 - Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019

SP - 240

EP - 251

BT - Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019

CY - Xian, China

ER -

Plazar Q, Acher M, Perrouin G, Devroey X, Cordy M. Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? In Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Xian, China. 2019. p. 240-251. 8730148. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019). https://doi.org/10.1109/ICST.2019.00032