{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T12:50:10Z","timestamp":1763643010754,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,8]],"date-time":"2020-11-08T00:00:00Z","timestamp":1604793600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,8]]},"DOI":"10.1145\/3368089.3409744","type":"proceedings-article","created":{"date-parts":[[2020,11,8]],"date-time":"2020-11-08T06:03:52Z","timestamp":1604815432000},"page":"1114-1126","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Baital: an adaptive weighted sampling approach for improved t-wise coverage"],"prefix":"10.1145","author":[{"given":"Eduard","family":"Baranov","sequence":"first","affiliation":[{"name":"Universit\u00e9 Catholique de Louvain, Belgium"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Catholique de Louvain, Belgium \/ Aalborg University, Denmark"}]},{"given":"Kuldeep S.","family":"Meel","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]}],"member":"320","published-online":{"date-parts":[[2020,11,8]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642990"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01588971"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2885"},{"key":"e_1_3_2_2_5_1","first-page":"1722","article-title":"Distribution-Aware Sampling and Weighted Model Counting for SAT","author":"Chakraborty Supratik","year":"2014","unstructured":"Supratik Chakraborty , Daniel J. Fremont , Kuldeep S. Meel , Sanjit A. Seshia , and Moshe Y. Vardi . 2014 . Distribution-Aware Sampling and Weighted Model Counting for SAT . In Proc. of AAAI. 1722 - 1730 . Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, and Moshe Y. Vardi. 2014. Distribution-Aware Sampling and Weighted Model Counting for SAT. In Proc. of AAAI. 1722-1730.","journal-title":"Proc. of AAAI."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_25"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_40"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593097"},{"key":"e_1_3_2_2_9_1","volume-title":"SEKE 2006 1 ( 2006 ), 517","author":"Changhai Nie","year":"2006","unstructured":"Nie Changhai , Xu Baowen , Shi Liang , and Wang Ziyuan . 2006 . A new heuristic for test suite generation for pair-wise testing . SEKE 2006 1 ( 2006 ), 517 . Nie Changhai, Xu Baowen, Shi Liang, and Wang Ziyuan. 2006. A new heuristic for test suite generation for pair-wise testing. SEKE 2006 1 ( 2006 ), 517."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30502-6_23"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.14416\/j.ijast.2014.05.001"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.989"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30048-7_10"},{"key":"e_1_3_2_2_14_1","first-page":"15","article-title":"Generating random solutions for constraint satisfaction problems","author":"Dechter Rina","year":"2002","unstructured":"Rina Dechter , K. Kask , E. Bin , and R. Emek . 2002 . Generating random solutions for constraint satisfaction problems . In Proc. of AAAI. 15 - 21 . Rina Dechter, K. Kask, E. Bin, and R. Emek. 2002. Generating random solutions for constraint satisfaction problems. In Proc. of AAAI. 15-21.","journal-title":"Proc. of AAAI."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010257"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180248"},{"key":"e_1_3_2_2_17_1","volume-title":"Proc. of NIPS. 2085-2093","author":"Ermon Stefano","year":"2013","unstructured":"Stefano Ermon , Carla P Gomes , Ashish Sabharwal , and Bart Selman . 2013 . Embed and Project: Discrete Sampling with Universal Hashing . In Proc. of NIPS. 2085-2093 . Stefano Ermon, Carla P Gomes, Ashish Sabharwal, and Bart Selman. 2013. Embed and Project: Discrete Sampling with Universal Hashing. In Proc. of NIPS. 2085-2093."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11889205_56"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17458-2_6"},{"key":"e_1_3_2_2_20_1","volume-title":"Meel","author":"Gupta Rahul","year":"2019","unstructured":"Rahul Gupta , Shubham Sharma , Subhajit Roy , and Kuldeep S . Meel . 2019 . WAPS : Weighted and Projected Sampling. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS) . Rahul Gupta, Shubham Sharma, Subhajit Roy, and Kuldeep S. Meel. 2019. WAPS: Weighted and Projected Sampling. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS)."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1270852"},{"key":"e_1_3_2_2_22_1","volume-title":"Jerrum and Alistair Sinclair","author":"Mark","year":"1996","unstructured":"Mark R. Jerrum and Alistair Sinclair . 1996 . The Markov chain Monte Carlo method: an approach to approximate counting and integration. Approximation algorithms for NP-hard problems ( 1996 ), 482-520. Mark R. Jerrum and Alistair Sinclair. 1996. The Markov chain Monte Carlo method: an approach to approximate counting and integration. Approximation algorithms for NP-hard problems ( 1996 ), 482-520."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(86)90174-X"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362547"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00112"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397275"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106252"},{"key":"e_1_3_2_2_30_1","unstructured":"D Richard Kuhn Raghu N Kacker and Yu Lei. 2010. Practical combinatorial testing. NIST special Publication 800 142 ( 2010 ) 142.  D Richard Kuhn Raghu N Kacker and Yu Lei. 2010. Practical combinatorial testing. NIST special Publication 800 142 ( 2010 ) 142."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.47"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.381"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1998.731623"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791070"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.61"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2013.58"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1090\/fim\/016"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/4372.4375"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491646"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.91"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884793"},{"volume-title":"Sampling Techniques for Boolean Satisfiability","author":"Meel Kuldeep S.","key":"e_1_3_2_2_42_1","unstructured":"Kuldeep S. Meel . 2014. Sampling Techniques for Boolean Satisfiability . Rice University . M.S. Thesis. Kuldeep S. Meel. 2014. Sampling Techniques for Boolean Satisfiability. Rice University. M.S. Thesis."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01588971"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-218X(03)00291-9"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106273"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3342359"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.43"},{"key":"e_1_3_2_2_50_1","unstructured":"Tobias Pett Thomas Th\u00fcm Tobias Runge Sebastian Krieter Malte Lochau and Ina Schaefer. [n.d.]. Product Sampling for Product Lines: The Scalability Challenge. ([n. d.]).  Tobias Pett Thomas Th\u00fcm Tobias Runge Sebastian Krieter Malte Lochau and Ina Schaefer. [n.d.]. Product Sampling for Product Lines: The Scalability Challenge. ([n. d.])."},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00032"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.45"},{"volume-title":"Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR).","author":"Sharma Shubham","key":"e_1_3_2_2_53_1","unstructured":"Shubham Sharma , Rahul Gupta , Subhajit Roy , and Kuldeep S. Meel . 2018. Knowledge Compilation meets Uniform Sampling . In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR). Shubham Sharma, Rahul Gupta, Subhajit Roy, and Kuldeep S. Meel. 2018. Knowledge Compilation meets Uniform Sampling. In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)."},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786845"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227196"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1002\/jcd.3180010106"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2039239.2039242"},{"key":"e_1_3_2_2_58_1","first-page":"615","volume-title":"Proc. International Conference on Quality Control (ICQC'87)","author":"Tatsumi Keizo","year":"1987","unstructured":"Keizo Tatsumi . 1987 . Test case design support system . In Proc. International Conference on Quality Control (ICQC'87) . 615 - 620 . Keizo Tatsumi. 1987. Test case design support system. In Proc. International Conference on Quality Control (ICQC'87). 615-620."},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.53"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.52"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970335"}],"event":{"name":"ESEC\/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Virtual Event USA","acronym":"ESEC\/FSE '20"},"container-title":["Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3409744","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3368089.3409744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:57Z","timestamp":1750197717000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3409744"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,8]]},"references-count":60,"alternative-id":["10.1145\/3368089.3409744","10.1145\/3368089"],"URL":"https:\/\/doi.org\/10.1145\/3368089.3409744","relation":{},"subject":[],"published":{"date-parts":[[2020,11,8]]},"assertion":[{"value":"2020-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}