{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:09:33Z","timestamp":1729667373925,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/bmei.2015.7401592","type":"proceedings-article","created":{"date-parts":[[2016,3,25]],"date-time":"2016-03-25T22:22:17Z","timestamp":1458944537000},"page":"695-699","source":"Crossref","is-referenced-by-count":1,"title":["Java source code defect detection"],"prefix":"10.1109","author":[{"given":"Hong","family":"Zhu","sequence":"first","affiliation":[]},{"given":"Dahai","family":"Jin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Using programmer-written com-piler extensions to catch security holes 2002 5","volume":"2004","author":"ashcraft","year":"0","journal-title":"Hovemeyer D Pugh W Finding bugs is easy"},{"key":"ref11","first-page":"2000","author":"jackson","year":"0","journal-title":"Software analysis A roadmap"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232423"},{"key":"ref4","article-title":"A Defect Model Based Testing System","author":"gong","year":"0","journal-title":"2008 Journal of Beijing University of Posts and Telecommunications"},{"key":"ref3","first-page":"50","author":"zhang","year":"2005","journal-title":"Eclipse Essentials and Advanced Development Technology"},{"journal-title":"Explode a lightweight general system for finding serious storage system errors","year":"2006","author":"junfeng","key":"ref6"},{"journal-title":"Thorough Static Analysis of Device Drivers EuroSys","year":"2006","author":"ball","key":"ref5"},{"journal-title":"Source code analysis A road map","year":"2007","author":"binkley","key":"ref8"},{"key":"ref7","article-title":"Finding more null pointer bugs, but not too many 2007 7","author":"hovemeyer","year":"2008","journal-title":"Klocwork Inc Klccwork trail version"},{"key":"ref2","first-page":"110","author":"liu","year":"2005","journal-title":"Proficient in Eclipse"},{"key":"ref1","first-page":"15","author":"chen","year":"2005","journal-title":"Eclipse from Entry to Die Master"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.21236\/ADA419626","author":"engler","year":"2000","journal-title":"Checking system rules using system-specific programmer-written compiler extensions"}],"event":{"name":"2015 8th International Conference on Biomedical Engineering and Informatics (BMEI)","start":{"date-parts":[[2015,10,14]]},"location":"Shenyang, China","end":{"date-parts":[[2015,10,16]]}},"container-title":["2015 8th International Conference on Biomedical Engineering and Informatics (BMEI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7394813\/7401460\/07401592.pdf?arnumber=7401592","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,6]],"date-time":"2019-09-06T00:24:19Z","timestamp":1567729459000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7401592\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/bmei.2015.7401592","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}