{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:34:20Z","timestamp":1730208860805,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.1999.812678","type":"proceedings-article","created":{"date-parts":[[2003,1,20]],"date-time":"2003-01-20T16:32:17Z","timestamp":1043080337000},"page":"67-72","source":"Crossref","is-referenced-by-count":0,"title":["A generic approach of static analysis for detecting runtime errors in Java programs"],"prefix":"10.1109","author":[{"family":"Xiaoping Jia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Skevoulis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1"},{"journal-title":"The Java? Language Specification","year":"1996","author":"gosling","key":"ref3"},{"journal-title":"Checking object invariants","year":"1997","author":"leino","key":"ref10"},{"journal-title":"Java specification language","year":"1996","author":"gosling","key":"ref6"},{"key":"ref11","first-page":"748","article-title":"PVS: A prototype verification system","volume":"607","author":"owre","year":"1992","journal-title":"Lecture Notes in Artificial Intelligence"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"journal-title":"Applying static analysis for detecting null pointers in java programs","year":"1998","author":"sawant","key":"ref12"},{"key":"ref8","first-page":"1","article-title":"An overview of the extended static checking","author":"detlefs","year":"1996","journal-title":"Proc The First Workshop on Formal Methods in Software Practice"},{"journal-title":"Aspect A Formal Specification Language for Detecting Bugs","year":"1992","author":"jackson","key":"ref7"},{"year":"0","key":"ref2"},{"key":"ref9","article-title":"Ecstatic: An object-oriented programming language with axiomatic semantics","author":"leino","year":"1997","journal-title":"Proc FOOL4"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"}],"event":{"name":"Proceedings. COMPSAC 99. Twenty-Third Annual International Computer Software and Applications Conference","acronym":"CMPSAC-99","location":"Phoenix, AZ, USA"},"container-title":["Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032)"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/6591\/17591\/00812678.pdf?arnumber=812678","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T13:11:50Z","timestamp":1489151510000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/812678\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/cmpsac.1999.812678","relation":{},"subject":[]}}