{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T05:38:00Z","timestamp":1771047480568,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,9,6]],"date-time":"2021-09-06T00:00:00Z","timestamp":1630886400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"FNR Luxembourg","award":["C19\/IS\/13566661\/BEEHIVE\/Cordy"],"award-info":[{"award-number":["C19\/IS\/13566661\/BEEHIVE\/Cordy"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,9,6]]},"DOI":"10.1145\/3461002.3473070","type":"proceedings-article","created":{"date-parts":[[2021,9,2]],"date-time":"2021-09-02T15:58:29Z","timestamp":1630598309000},"page":"36-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["BURST"],"prefix":"10.1145","author":[{"given":"Mathieu","family":"Acher","sequence":"first","affiliation":[{"name":"University of Rennes I, France"}]},{"given":"Gilles","family":"Perrouin","sequence":"additional","affiliation":[{"name":"University of Namur"}]},{"given":"Maxime","family":"Cordy","sequence":"additional","affiliation":[{"name":"University of Luxembourg"}]}],"member":"320","published-online":{"date-parts":[[2021,9,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"D. Achlioptas Zayd Hammoudeh and P. Theodoropoulos. 2018. Fast Sampling of Perfectly Uniform Satisfying Assignments. In SAT.  D. Achlioptas Zayd Hammoudeh and P. Theodoropoulos. 2018. Fast Sampling of Perfectly Uniform Satisfying Assignments. In SAT.","DOI":"10.1007\/978-3-319-94144-8_9"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358960.3379137"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00039"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183236.1183264"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2955491.2955546"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_25"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33017777"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593097"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/3061053.3061119"},{"key":"e_1_3_2_1_10_1","volume-title":"Statistical Model Checking for Variability-Intensive Systems. In International Conference on Fundamental Approaches to Software Engineering. Springer, 294--314","author":"Cordy Maxime","year":"2020"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2739480.2754760"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180248"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180248"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/3020652.3020682"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0610-0"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9635-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818819"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414951"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00112"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"K. Kang S. Cohen J. Hess W. Novak and S. Peterson. 1990. Feature-Oriented Domain Analysis (FODA). Technical Report CMU\/SEI-90-TR-21. SEI.  K. Kang S. Cohen J. Hess W. Novak and S. Peterson. 1990. Feature-Oriented Domain Analysis (FODA). Technical Report CMU\/SEI-90-TR-21. SEI.","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106252"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180159"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791070"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2003.07.011"},{"key":"e_1_3_2_1_25_1","unstructured":"Kuldeep S. Meel Yash Pote and Sourav Chakraborty. 2020. On Testing of Samplers. In Advances in Neural Information Processing Systems(NeurIPS).  Kuldeep S. Meel Yash Pote and Sourav Chakraborty. 2020. On Testing of Samplers. In Advances in Neural Information Processing Systems(NeurIPS)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/3158245"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106273"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3342359"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987434.1987448"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461002.3473073"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00032"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/3125987"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486853"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.23"},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR).","author":"Sharma Shubham"},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of International Conference on Computer-Aided Verification (CAV).","author":"Soos Mate"},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of AAAI Conference on Artificial Intelligence (AAAI).","author":"Soos Mate"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02777-2_24"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934472"}],"event":{"name":"SPLC '21: 25th ACM International Systems and Software Product Line Conference","location":"Leicester United Kindom","acronym":"SPLC '21","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3461002.3473070","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3461002.3473070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:23Z","timestamp":1750193303000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3461002.3473070"}},"subtitle":["a benchmarking platform for uniform random sampling techniques"],"short-title":[],"issued":{"date-parts":[[2021,9,6]]},"references-count":39,"alternative-id":["10.1145\/3461002.3473070","10.1145\/3461002"],"URL":"https:\/\/doi.org\/10.1145\/3461002.3473070","relation":{},"subject":[],"published":{"date-parts":[[2021,9,6]]},"assertion":[{"value":"2021-09-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}