{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T09:59:21Z","timestamp":1740131961885,"version":"3.37.3"},"reference-count":82,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/P005888\/1"],"award-info":[{"award-number":["EP\/P005888\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Information Theory and Test Suite Selection"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2023,4,1]]},"DOI":"10.1109\/tse.2022.3214796","type":"journal-article","created":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T21:02:49Z","timestamp":1667509369000},"page":"2221-2238","source":"Crossref","is-referenced-by-count":0,"title":["PopArt: Ranked Testing Efficiency"],"prefix":"10.1109","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8095-1863","authenticated-orcid":false,"given":"Iason Papapanagiotakis","family":"Bousy","sequence":"first","affiliation":[{"name":"Department of Computer Science, UniversityCollege London, London, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0771-7891","authenticated-orcid":false,"given":"Earl T.","family":"Barr","sequence":"additional","affiliation":[{"name":"Department of Computer Science, UniversityCollege London, London, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7004-934X","authenticated-orcid":false,"given":"David","family":"Clark","sequence":"additional","affiliation":[{"name":"Department of Computer Science, UniversityCollege London, London, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010257"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.62448"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.83906"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/32.368132"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.815325"},{"key":"ref6","article-title":"Formal Epistemology","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Weisberg","year":"2021"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/0470033312"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.76"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/301631.301678"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/373574.373590"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065025"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/52.199724"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065034"},{"year":"2021","key":"ref14","article-title":"Curve fitting \u2014 Wikipedia, the free encyclopedia"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635923"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.5840\/jphil2019116724","article-title":"Principles of indifference","author":"Eva","year":"2019"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_28"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2593833.2593837"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368111"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2019.2951980"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.121"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2487274"},{"year":"2021","key":"ref23","article-title":"Coupon collectors problem \u2014 Wikipedia, the free encyclopedia"},{"key":"ref24","first-page":"1","article-title":"The coupon collectors problem","volume-title":"Mater. Matem\u00e0tics","author":"Ferrante","year":"2014"},{"year":"2021","key":"ref25","article-title":"Zipf\u2013mandelbrot law \u2014 Wikipedia, the free encyclopedia"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3129416.3129433"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336773"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635899"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0122-2"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2003.04.003"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2464157.2464160"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390635"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_26"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00115"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"issue":"1","key":"ref36","first-page":"633","article-title":"Model counting","volume":"185","author":"Gomes","year":"2009","journal-title":"Front. Artif. Intell. Appl."},{"key":"ref37","first-page":"2293","article-title":"From sampling to model counting","volume-title":"Proc. IJCAI Int. Joint Conf. Artif. Intell.","author":"Gomes"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1287\/moor.19.4.769"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1090\/pcms\/013\/02"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370010203"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409729"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409748"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/32.988497"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1999.792604"},{"issue":"2","key":"ref45","first-page":"82","article-title":"Symbolic execution for software testing: Three decades later","volume-title":"Commun. ACM","volume":"56","author":"Cadar","year":"2013"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.78"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393665"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106303"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606608"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2012.6228988"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.04.015"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/32.328991"},{"volume-title":"Fuzzing: Brute Force Vulnerability Discovery","year":"2007","author":"Sutton","key":"ref53"},{"volume-title":"Fuzzing for Software Security Testing and Quality Assurance","year":"2018","author":"Takanen","key":"ref54"},{"volume-title":"Handbook of Software Reliability Engineering","year":"1996","author":"Lyu","key":"ref55"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"article-title":"The fuzzing book","year":"2021","author":"Zeller","key":"ref57"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.50"},{"article-title":"OSS-FUZZ-Googles continuous fuzzing service for open source software","year":"2017","author":"Serebryany","key":"ref59"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/3210309"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808475"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1994.341399"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1992.183256"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/2.889091"},{"key":"ref65","first-page":"531","article-title":"Software testing and reliability","volume-title":"The Handbook of Software Reliability Engineering","author":"Horgan","year":"1996"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/b138012"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321681"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007526"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273484"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/566171.566191"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115618"},{"key":"ref73","first-page":"1224","article-title":"Generating highly-structured input data by combining search-based testing and grammar-based fuzzing","volume-title":"Proc. IEEE\/ACM 35th Int. Conf. Automated Softw. Eng.","author":"Olsthoorn"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/32.238569"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1002\/0471028959.sof268"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1994.318466"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/32.485221"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/75308.75313"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(01)00028-0"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.415"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234485"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19811-3_19"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10103953\/09921196.pdf?arnumber=9921196","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T22:58:47Z","timestamp":1705964327000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9921196\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,1]]},"references-count":82,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tse.2022.3214796","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":[[2023,4,1]]}}}