{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T18:11:11Z","timestamp":1772043071265,"version":"3.50.1"},"reference-count":86,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T00:00:00Z","timestamp":1612137600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T00:00:00Z","timestamp":1612137600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T00:00:00Z","timestamp":1612137600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2017YFB1001803"],"award-info":[{"award-number":["2017YFB1001803"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61672047"],"award-info":[{"award-number":["61672047"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61529201"],"award-info":[{"award-number":["61529201"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61872008"],"award-info":[{"award-number":["61872008"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61828201"],"award-info":[{"award-number":["61828201"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61672045"],"award-info":[{"award-number":["61672045"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61861130363"],"award-info":[{"award-number":["61861130363"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2021,2,1]]},"DOI":"10.1109\/tse.2018.2889771","type":"journal-article","created":{"date-parts":[[2018,12,25]],"date-time":"2018-12-25T19:42:40Z","timestamp":1545766960000},"page":"261-278","source":"Crossref","is-referenced-by-count":39,"title":["Coverage Prediction for Accelerating Compiler Testing"],"prefix":"10.1109","volume":"47","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3056-9962","authenticated-orcid":false,"given":"Junjie","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guancheng","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Hao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8991-747X","authenticated-orcid":false,"given":"Yingfei","family":"Xiong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongyu","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bing","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581357"},{"key":"ref72","first-page":"257","article-title":"Quota-constrained test-case prioritization for regression testing of service-centric systems","author":"hou","year":"2008","journal-title":"Proc Int Conf Softw Maintenance"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2008.52"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919106"},{"key":"ref76","first-page":"255","article-title":"Combinatorial interaction regression testing: A study of test case generation and prioritization","author":"qu","year":"2007","journal-title":"Proc Int Conf Softw Maintenance"},{"key":"ref77","article-title":"Cost-cognizant test case prioritization","author":"malishevsky","year":"2006"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146240"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2016.45"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572297"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2909437.2909439"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390639"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181793"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336763"},{"key":"ref31","first-page":"283","article-title":"Principles and procedures of statistics with special reference to the biological sciences","volume":"682","author":"carpenter","year":"1960","journal-title":"Ann New York Academy Sci"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.3354\/cr030079"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/s11086-005-0008-6"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.physa.2011.12.004"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-017-9355-3"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931074"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1999.792604"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972715"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348910"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.106"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1656274.1656278"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.45"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771785"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/32.988497"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/1526709.1526830"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1093\/pan\/2.1.173"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.87"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.38"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.77"},{"key":"ref2","first-page":"50","article-title":"Testing and verification of compilers (Dagstuhl Seminar 17502)","volume":"7","author":"chen","year":"2018","journal-title":"Dagstuhl Reports"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884878"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2005.845141"},{"key":"ref22","first-page":"727","article-title":"X-means: Extending k-means with efficient estimation of the number of clusters","author":"pelleg","year":"2000","journal-title":"Proc 17th Int Conf Mach Learn"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-017-9415-3"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2012.07.029"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.2307\/2346830"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"1189","DOI":"10.1214\/aos\/1013203451","article-title":"Greedy function approximation: A gradient boosting machine","volume":"29","author":"friedman","year":"2001","journal-title":"Ann Statist"},{"key":"ref25","first-page":"6:1","article-title":"Learning to accelerate symbolic execution via code transformation","author":"chen","year":"2018","journal-title":"Proc Europ Conf Object-Oriented Programming"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1982595.1982615"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931056"},{"key":"ref59","article-title":"A survey on regression test-case prioritization","author":"lou","year":"2018","journal-title":"Advances in Computers"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606565"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.04.023"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73230-3_8"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2896971.2896978"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.39"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062379"},{"key":"ref52","first-page":"36","article-title":"Automated test program generation for an industrial optimizing compiler","author":"zhao","year":"2009","journal-title":"Proc ICSE Workshop Autom Softw Test"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1183927"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572280"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3133917"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.256"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.06.003"},{"key":"ref15","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"mckeeman","year":"1998","journal-title":"Digital Tech J"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2016EDP7356"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884879"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2011.6080805"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814319"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092709"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984038"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236053"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.03.066"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572296"},{"key":"ref4","article-title":"Compiler validation via equivalence modulo inputs","author":"le","year":"2014","journal-title":"Proc 35th Conf Program Language Des Implementation"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.70"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2016.19"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2983954"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"ref86","first-page":"523","article-title":"Qtep: quality-aware test case prioritization","author":"song","year":"2017","journal-title":"Proc Joint Meeting Foundations Softw Eng"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183456"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085132"},{"key":"ref45","first-page":"88","article-title":"Scaling up size and number of expressions in random testing of arithmetic optimization of C compilers","author":"nagai","year":"2013","journal-title":"Proc Workshop Synthesis Syst Integr Mixed Inf Technol"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(97)00017-7"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1147\/sj.94.0242"},{"key":"ref41","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/2908080.2908095","article-title":"Coverage-directed differential testing of JVM implementations","author":"chen","year":"2016","journal-title":"Proc SIGPLAN Conf Programming Language Design and Implementation"},{"key":"ref44","first-page":"48","article-title":"Random testing of C compilers targeting arithmetic optimization","author":"nagai","year":"2012","journal-title":"Proc Workshop Synthesis Syst Integr Mixed Inf Technol"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1460833.1460869"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9352984\/08588375.pdf?arnumber=8588375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:50:09Z","timestamp":1652194209000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8588375\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,1]]},"references-count":86,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.2018.2889771","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,2,1]]}}}