{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T20:17:21Z","timestamp":1784837841698,"version":"3.55.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/icsm.2011.6080837","type":"proceedings-article","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T21:45:27Z","timestamp":1321911927000},"page":"590-593","source":"Crossref","is-referenced-by-count":1,"title":["EQ: Checking the implementation of equality in Java"],"prefix":"10.1109","author":[{"given":"Chandan R.","family":"Rupakheti","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daqing","family":"Hou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref4","author":"jackson","year":"2006","journal-title":"Software Abstractions Logic Language and Analysis"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868320"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2010.30"},{"key":"ref6","author":"liskov","year":"2000","journal-title":"Program Development in Java Abstraction Specification and Object-Oriented Design"},{"key":"ref11","first-page":"125","article-title":"Soot - a Java Bytecode Optimization Framework","author":"vallee-rai","year":"1999","journal-title":"CASCON"},{"key":"ref5","first-page":"553","article-title":"Generalized symbolic execution for model checking and testing","author":"khurshid","year":"2003","journal-title":"TACAS"},{"key":"ref12","first-page":"54","article-title":"Declarative Object Identity Using Relation Types","author":"vaziri","year":"2007","journal-title":"ECOOP"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070534"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13953-6_4"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.26"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1463788.1463800"},{"key":"ref1","author":"bloch","year":"2001","journal-title":"Effective Java Programming Language Guide"}],"event":{"name":"2011 IEEE 27th International Conference on Software Maintenance (ICSM)","location":"Williamsburg, VA, USA","start":{"date-parts":[[2011,9,25]]},"end":{"date-parts":[[2011,9,30]]}},"container-title":["2011 27th IEEE International Conference on Software Maintenance (ICSM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6068277\/6080759\/06080837.pdf?arnumber=6080837","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T17:20:55Z","timestamp":1490116855000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6080837\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icsm.2011.6080837","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}