{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:17:39Z","timestamp":1740169059116,"version":"3.37.3"},"reference-count":22,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61402303"],"award-info":[{"award-number":["61402303"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002888","name":"Project of Beijing Municipal Commission of Education","doi-asserted-by":"publisher","award":["KM201510028016"],"award-info":[{"award-number":["KM201510028016"]}],"id":[{"id":"10.13039\/501100002888","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2018]]},"DOI":"10.1109\/access.2018.2797314","type":"journal-article","created":{"date-parts":[[2018,2,13]],"date-time":"2018-02-13T14:22:47Z","timestamp":1518531767000},"page":"10432-10444","source":"Crossref","is-referenced-by-count":0,"title":["RARE: An Efficient Static Fault Detection Framework for Definition-Use Faults in Large Programs"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2111-0896","authenticated-orcid":false,"given":"Lujie","family":"Zhong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pen-Chung","family":"Yew","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Huo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaobing","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhaoqing","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"439","article-title":"Program slicing","author":"weiser","year":"1981","journal-title":"Proc ICSE"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/1772954.1772985"},{"year":"2017","journal-title":"Openssh","key":"ref12"},{"year":"2017","journal-title":"Sendmail","key":"ref13"},{"year":"2017","journal-title":"Apache","key":"ref14"},{"year":"2017","journal-title":"WINE","key":"ref15"},{"year":"2017","journal-title":"Wireshark","key":"ref16"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/2187671.2187674"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/231379.231389"},{"year":"2017","journal-title":"FindBugs","key":"ref19"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/2491509.2491512"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/800157.805047"},{"year":"2017","journal-title":"Open64","key":"ref6"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/TC.1978.1675141"},{"key":"ref8","first-page":"618","article-title":"Foundations of data-flow analysis","author":"aho","year":"2006","journal-title":"Compilers Principles Techniques and Tools"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/115372.115320"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/1251535.1251543"},{"year":"2017","journal-title":"Clang Static Analyzer","key":"ref1"},{"key":"ref9","first-page":"4","article-title":"Types of Lattices","author":"garrett","year":"1948","journal-title":"Lattice Theory"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/1375581.1375615"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/TSE.2014.2302311"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1145\/1394504.1394505"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8274985\/08291053.pdf?arnumber=8291053","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:39:49Z","timestamp":1641987589000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8291053\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/access.2018.2797314","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2018]]}}}