{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T05:25:30Z","timestamp":1749014730764,"version":"3.37.3"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T00:00:00Z","timestamp":1627776000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T00:00:00Z","timestamp":1627776000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T00:00:00Z","timestamp":1627776000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61872167","61502205","U1836116"],"award-info":[{"award-number":["61872167","61502205","U1836116"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002858","name":"China Postdoctoral Science Foundation","doi-asserted-by":"publisher","award":["2019T120396"],"award-info":[{"award-number":["2019T120396"]}],"id":[{"id":"10.13039\/501100002858","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Postgraduate Research & Practice Innovation Program of Jiangsu Province","award":["KYCX19_1614"],"award-info":[{"award-number":["KYCX19_1614"]}]},{"name":"Senior Personnel Scientific Research Foundation"},{"DOI":"10.13039\/501100002703","name":"Jiangsu University","doi-asserted-by":"publisher","award":["14JDG039"],"award-info":[{"award-number":["14JDG039"]}],"id":[{"id":"10.13039\/501100002703","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Young Backbone Teacher Cultivation Project of Jiangsu University"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Emerg. Top. Comput. Intell."],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1109\/tetci.2020.3013713","type":"journal-article","created":{"date-parts":[[2020,8,12]],"date-time":"2020-08-12T20:45:03Z","timestamp":1597265103000},"page":"651-667","source":"Crossref","is-referenced-by-count":4,"title":["Identification of Failure Regions for Programs With Numeric Inputs"],"prefix":"10.1109","volume":"5","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1769-6126","authenticated-orcid":false,"given":"Rubing","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weifeng","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3578-0994","authenticated-orcid":false,"given":"Tsong Yueh","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Ng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3124-5452","authenticated-orcid":false,"given":"Jinfu","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/ICST.2015.7102580"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1109\/32.988498"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1145\/2001420.2001452"},{"year":"1980","author":"acm","journal-title":"Collected algorithms from ACM","key":"ref30"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1016\/j.infsof.2015.06.003"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/TC.2015.2455981"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/TC.2016.2547380"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/TSE.2019.2942921"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/APSEC.2004.17"},{"key":"ref15","first-page":"198","article-title":"Random testing with dynamically updated test profile","author":"cai","year":"0","journal-title":"Proc 20th Int Symp Softw Rel Eng"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/32.368132"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/TC.2018.2866040"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1142\/S0218194018500407"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/TSE.2016.2521368"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1145\/235815.235821"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1016\/0951-8320(91)90052-9"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1145\/1363102.1363107"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/12.2185"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/1295074.1295091"},{"year":"1986","author":"press","journal-title":"Numerical Recipes","key":"ref29"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/FTCS.1993.627312"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/2593882.2593885"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1016\/j.jss.2009.02.022"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/TSE.1980.234486"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/TC.2011.208"},{"key":"ref1","first-page":"1","article-title":"ISO\/IEC\/IEEE International Standard - Systems and software engineering – Vocabulary","year":"2017","journal-title":"ISO\/IEC\/IEEE Standard 24765 2017(E)"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/3105906"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.7763\/LNSE.2014.V2.145"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.7763\/LNSE.2013.V1.63"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/TR.2013.2240898"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1016\/0950-5849(96)01103-2"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1142\/S0218194007003501"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1360\/jos172438"}],"container-title":["IEEE Transactions on Emerging Topics in Computational Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7433297\/9492172\/09165789.pdf?arnumber=9165789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:54:06Z","timestamp":1652194446000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9165789\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8]]},"references-count":33,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tetci.2020.3013713","relation":{},"ISSN":["2471-285X"],"issn-type":[{"type":"electronic","value":"2471-285X"}],"subject":[],"published":{"date-parts":[[2021,8]]}}}