{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,15]],"date-time":"2026-10-15T13:42:38Z","timestamp":1792071758373,"version":"4.4.0"},"reference-count":41,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/icse.2009.5070525","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T18:24:29Z","timestamp":1244658269000},"page":"243-253","source":"Crossref","is-referenced-by-count":225,"title":["Semantics-based code search"],"prefix":"10.1109","author":[{"given":"Steven P.","family":"Reiss","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581402"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/986537.986564"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/937742.937745"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99383"},{"key":"ref31","first-page":"173","article-title":"Specifications as search keys for software libraries","author":"rollins","year":"1991","journal-title":"Proc 8th IntI Conf on Logic Programming"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321645"},{"key":"ref37","author":"wordsworth","year":"1992","journal-title":"Software Development with Z"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/978-3-540-24593-3_14","article-title":"Semantic structure matching for assessing web-service similarity","author":"wang","year":"2003","journal-title":"Service-Oriented Computing - ICSOC 2003"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1244002.1244192"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321663"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.888631"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2003.1200727"},{"key":"ref11","first-page":"123","article-title":"Detection of web service substitutability and composability","author":"ernst","year":"2006","journal-title":"Proceedings of WS-MaTe-2006 International Workshop on Web Services-Modeling and Testing"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.310671"},{"key":"ref13","article-title":"Java 2 platform security architecture","author":"gong","year":"2002","journal-title":"Sun Microsystems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1985.231756"},{"key":"ref15","first-page":"371","article-title":"Generalized behavior-based retrieval","author":"hall","year":"1993","journal-title":"Proc of ICSE'93"},{"key":"ref16","first-page":"95","article-title":"Supporting component-based reuse in CARE","volume":"24","author":"hemer","year":"2002","journal-title":"Australian Computer Science Communications"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1294211.1294216"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/211782.211817"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321726"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/152388.152392"},{"key":"ref4","article-title":"Codifier: a programmer-centric search user interface","author":"begel","year":"2007","journal-title":"Workshop on Human-Coputer Interaction and Information Retrieval"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/32.295894"},{"key":"ref3","article-title":"The ABCs of specification: AsmL, behavior, and components","volume":"25","author":"barnett","year":"2001","journal-title":"Informatica"},{"key":"ref6","first-page":"385","article-title":"Random test data generation for Java classes annotated with JML specifications","volume":"11","author":"cheon","year":"2007","journal-title":"Serp"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101917"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","article-title":"An overview of JML tools and applications","volume":"7","author":"burdy","year":"2005","journal-title":"Intl Journal on Software Tools for Technology Transfer"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2006.02.015"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199607)26:7<815::AID-SPE32>3.0.CO;2-#"},{"key":"ref2","article-title":"Compass Reference Documentation","author":"banon","year":"2008"},{"key":"ref9","article-title":"Google Web Toolkit Documentation","year":"2008"},{"key":"ref1","first-page":"682","article-title":"Sourcerer: a search engine for open source code supporting structure-based search","author":"bajracharya","year":"2006","journal-title":"Proc OOPSLA 2006"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321646"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/32.83915"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.2004.1333367"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018964121953"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/167049.167077"},{"key":"ref23","author":"meyer","year":"1988","journal-title":"Object-Oriented Software Construction"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/32.605762"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/32.391379"}],"event":{"name":"2009 IEEE 31st International Conference on Software Engineering","location":"Vancouver, BC, Canada","start":{"date-parts":[[2009,5,16]]},"end":{"date-parts":[[2009,5,24]]}},"container-title":["2009 IEEE 31st International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5062304\/5070493\/05070525.pdf?arnumber=5070525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T20:54:06Z","timestamp":1497819246000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5070525\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/icse.2009.5070525","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}