{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T01:28:16Z","timestamp":1783128496493,"version":"3.54.6"},"reference-count":43,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227127","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:24:04Z","timestamp":1341854644000},"page":"925-935","source":"Crossref","is-referenced-by-count":46,"title":["Statically checking API protocol conformance with mined multi-object specifications"],"prefix":"10.1109","author":[{"given":"Michael","family":"Pradel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ciera","family":"Jaspan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonathan","family":"Aldrich","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas R.","family":"Gross","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_2"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449792"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.72"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094839"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.30"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227185"},{"key":"15","first-page":"27","article-title":"Checking framework interactions with relationships","author":"jaspan","year":"2009","journal-title":"ECOOP"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806805"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595767"},{"key":"39","first-page":"465","article-title":"Typestates for objects","author":"deline","year":"2004","journal-title":"ECOOP"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831719"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985874"},{"key":"38","first-page":"301","article-title":"Modular typestate checking of aliased objects","author":"bierhoff","year":"2007","journal-title":"OOPSLA"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/566210.566212"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831723"},{"key":"20","author":"pradel","year":"2012","journal-title":"Statically Checking Api Protocol Conformance with Mined Multi-object Specifications Companion Report"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.93"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_23"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348255"},{"key":"22","author":"fowler","year":"1999","journal-title":"Refactoring Improving the Design of Existing Code"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22655-7_2"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806806"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.130"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070548"},{"key":"29","first-page":"461","article-title":"Mining temporal specifications for error detection","author":"weimer","year":"2005","journal-title":"TACAS"},{"key":"3","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1145\/1081706.1081755","article-title":"PR-Miner: Automatically extracting implicit programming rules and detecting violations in large software code","author":"li","year":"2005","journal-title":"ESEC\/FSE"},{"key":"2","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/581376.581377","article-title":"Tracking Down Software Bugs using Automatic Anomaly Detection","author":"sudheendra hangal","year":"2002","journal-title":"Proceedings of the 24th International Conference on Software Engineering ICSE 2002"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609576"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/502039.502041"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2008.54"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453150"},{"key":"32","article-title":"From uncertainty to belief: Inferring the specification within","author":"kremenek","year":"2006","journal-title":"OSDI"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273487"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134319"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.94"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.60"}],"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\/06227127.pdf?arnumber=6227127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:08:07Z","timestamp":1497978487000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227127\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227127","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}