{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T07:10:43Z","timestamp":1750749043233,"version":"3.37.3"},"reference-count":76,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T00:00:00Z","timestamp":1722470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T00:00:00Z","timestamp":1722470400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T00:00:00Z","timestamp":1722470400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2024,8]]},"DOI":"10.1109\/tse.2024.3419919","type":"journal-article","created":{"date-parts":[[2024,6,27]],"date-time":"2024-06-27T18:22:14Z","timestamp":1719512534000},"page":"2021-2039","source":"Crossref","is-referenced-by-count":1,"title":["A Scalable t-Wise Coverage Estimator: Algorithms and Applications"],"prefix":"10.1109","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7357-705X","authenticated-orcid":false,"given":"Eduard","family":"Baranov","sequence":"first","affiliation":[{"name":"Universite catholique de Louvain, UClouvain, Louvain-la-Neuve, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9518-6204","authenticated-orcid":false,"given":"Sourav","family":"Chakraborty","sequence":"additional","affiliation":[{"name":"Indian Statistical Institute, West Bengal, Kolkata, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2287-8925","authenticated-orcid":false,"given":"Axel","family":"Legay","sequence":"additional","affiliation":[{"name":"Universite catholique de Louvain, UClouvain, Louvain-la-Neuve, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9423-5270","authenticated-orcid":false,"given":"Kuldeep S.","family":"Meel","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7959-4662","authenticated-orcid":false,"given":"N. Variyam","family":"Vinodchandran","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, NE, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233797"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.05.006"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.6028\/NIST.SP.800-142"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430513"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.34"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336322"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/4372.4375"},{"key":"ref8","first-page":"615","article-title":"Test case design support system","volume-title":"Proc. Int. Conf. Qual. Control (ICQC)","author":"Tatsumi","year":"1987"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1201\/b14957"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.71"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884793"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2013.408"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201186"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW58534.2023.00030"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642990"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/18.6031"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/32.605761"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.381"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.393"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010257"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30502-6_23"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510218"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/800061.808740"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7503.003.0065"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40627-0_18"},{"key":"ref28","first-page":"3569","article-title":"Algorithmic improvements in approximate counting for probabilistic inference: From linear to logarithmic SAT calls","volume-title":"Proc. Int. Joint Conf. Artif. Intell.","author":"Chakraborty","year":"2016"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33011592"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/978-3-030-53288-8_22","article-title":"Tinted, detached, and lazy CNF-XOR SAT solving and its applications to counting and sampling","volume-title":"Proc. Int. Conf. Comput. Aided Verification (CAV)","author":"Soos","year":"2020"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3093335.2993253"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1002\/jcd.3180010106"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2039239.2039242"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.14416\/j.ijast.2014.05.001"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491646"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.47"},{"key":"ref37","first-page":"614","article-title":"Greedy combinatorial test case generation using unsatisfiable cores","volume-title":"Proc. 31st IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Yamada","year":"2016"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.52"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362547"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.43"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.91"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-218X(03)00291-9"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17458-2_6"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9171-4"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_12"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"article-title":"Markov Chain Monte Carlo stimulus generation for constrained random simulation","year":"2010","author":"Kitchen","key":"ref47"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/11499107_24"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1983.35"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/0196-6774(89)90038-2"},{"key":"ref51","first-page":"15","article-title":"Generating random solutions for constraint satisfaction problems","volume-title":"Proc. AAAI Conf. Artif. Intell.","author":"Dechter","year":"2002"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/11889205_56"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180248"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_40"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593097"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.29007\/h4p9"},{"key":"ref57","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/978-3-030-17462-0_4","article-title":"WAPS: Weighted and projected sampling","volume-title":"Proc. Tools Algorithms Construction Anal. Syst. (TACAS)","author":"Gupta","year":"2019"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409744"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468622"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1137\/0208032"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.03.012"},{"key":"ref62","first-page":"54","article-title":"Model counting: A new strategy for obtaining good bounds","volume-title":"Proc. AAAI Conf. Artif. Intell.","author":"Gomes","year":"2006"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/3373718.3394809"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3342359"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813603"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33011592"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106252"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791070"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00032"},{"article-title":"Model counting and uniform sampling instances","year":"2020","author":"Meel","key":"ref70"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180248"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/SSBSE.2009.25"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/3503229.3547030"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.34727\/2021\/isbn.978-3-85448-046-4_31"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549155"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111570"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/10636961\/10575923.pdf?arnumber=10575923","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,16]],"date-time":"2024-08-16T19:43:14Z","timestamp":1723837394000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10575923\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8]]},"references-count":76,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tse.2024.3419919","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2024,8]]}}}