{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:25:12Z","timestamp":1725791112923},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227128","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:24:04Z","timestamp":1341854644000},"page":"914-924","source":"Crossref","is-referenced-by-count":10,"title":["Inferring class level specifications for distributed systems"],"prefix":"10.1109","author":[{"given":"Sandeep","family":"Kumar","sequence":"first","affiliation":[]},{"given":"Siau-Cheng","family":"Khoo","sequence":"additional","affiliation":[]},{"given":"Abhik","family":"Roychoudhury","sequence":"additional","affiliation":[]},{"given":"David","family":"Lo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Opensips","year":"0","key":"19"},{"key":"35","first-page":"176","article-title":"Javavis: Automatic program visualization with object and sequence diagrams using the java debug interface (jdi)","author":"oechsle","year":"0","journal-title":"Revised Lectures on Software Visualization International Seminar 2002"},{"journal-title":"RFC 3261 - Session Inititation Protocol","year":"0","key":"17"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553568"},{"journal-title":"Kphone","year":"0","key":"18"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.138"},{"journal-title":"Center TRACON Automation System (CTAS)","year":"0","key":"15"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.96"},{"journal-title":"CTAS Weather Control Requirements","year":"0","key":"16"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2011.29"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181808"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1835804.1835883"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/1512475.1512482"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.190648"},{"key":"12","article-title":"The sk-strings method for inferring pfsa","author":"raman","year":"0","journal-title":"Proceedings of the Workshop on Automata Induction Grammatical Inference and Language Acquisition at the 14th International Conference on Machine Learning (ICML97) 1997"},{"journal-title":"Jeti Version 0 7 6 (Oct 2006)","year":"0","key":"21"},{"journal-title":"Jive Software","year":"0","key":"20"},{"journal-title":"Pidgin","year":"0","key":"22"},{"journal-title":"XEP-0045 Multi-User Chat","year":"0","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.60"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273487"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287630"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1538942.1538943"},{"key":"2","first-page":"83","article-title":"Multiple instances and symbolic variables in executable sequence charts","author":"marelly","year":"2001","journal-title":"OOPSLA' 2001"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985807"},{"journal-title":"ITU-TS Recommendation Z 120","article-title":"Message sequence charts","year":"1996","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859081"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1002\/smr.375"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/1081180.1081189"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368096"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582429"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287663"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich","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\/06227128.pdf?arnumber=6227128","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T16:01:44Z","timestamp":1490112104000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227128\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227128","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}