{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:20:16Z","timestamp":1783009216126,"version":"3.54.5"},"reference-count":41,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227137","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"815-825","source":"Crossref","is-referenced-by-count":97,"title":["Inferring method specifications from natural language API descriptions"],"prefix":"10.1109","author":[{"given":"Rahul","family":"Pandita","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xusheng","family":"Xiao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hao","family":"Zhong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephen","family":"Oney","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amit","family":"Paradkar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","author":"manning","year":"2001","journal-title":"Foundations of Statistical Natural Language Processing"},{"key":"35","first-page":"717","article-title":"Discovering likely method specifications","author":"tillmann","year":"2006","journal-title":"Proc 8th ICFEM"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.3115\/1075096.1075150"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.3115\/1073445.1073478"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321646"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.106"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1363102.1363105"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321663"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1370750.1370771"},{"key":"39","author":"xiao","year":"2011","journal-title":"Automated Extraction and Validation of Security Policies from Natural-language Documents"},{"key":"13","author":"gregory","year":"1999","journal-title":"Light parsing as finite state filtering"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70705"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985820"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1072999"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070542"},{"key":"21","first-page":"232","article-title":"Automatic generation of program specifications","author":"nimmer","year":"2002","journal-title":"Proc ISSTA"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.31"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.94"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1166324.1166329"},{"key":"23","author":"olson","year":"2008","journal-title":"Advanced Data Mining Techniques"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572284"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070525"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.35.6"},{"key":"27","first-page":"73","article-title":"Expect the unexpected: Error code mismatches between documentation and the real world","author":"rubino-gonzalez","year":"2010","journal-title":"Proc 9th PASTE"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270320"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.19"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390664"},{"key":"2","article-title":"Towards finite-state analysis of lexical cohesion","author":"boguraev","year":"0","journal-title":"Proc 3rd FSMNLP 2000"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143150"},{"key":"1","first-page":"49","article-title":"The Spec# programming system: An overview","volume":"3362","author":"barnett","year":"2004","journal-title":"LNCS"},{"key":"30","year":"1999"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7287.001.0001","author":"fellbaum","year":"1998","journal-title":"WordNet An Electronic Lexical Database"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070532"},{"key":"32","author":"stickel","year":"1997","journal-title":"FASTUS A Cascaded Finite-state Transducer for Extracting Information from Natural-language Text"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368127"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"key":"4","first-page":"100","article-title":"Are practitioners writing contracts?","volume":"4157","author":"chalin","year":"2006","journal-title":"The RODIN Book LNCS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.85"},{"key":"8","first-page":"500","article-title":"Houdini, an annotation assistant for ESC\/Java","author":"flanagan","year":"2001","journal-title":"Proc 10th FME"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","location":"Zurich","start":{"date-parts":[[2012,6,2]]},"end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227137.pdf?arnumber=6227137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T19:06:47Z","timestamp":1561921607000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227137\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227137","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}