{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:00:14Z","timestamp":1725732014960},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388552"},{"type":"electronic","value":"9783642388569"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38856-9_6","type":"book-chapter","created":{"date-parts":[[2013,6,15]],"date-time":"2013-06-15T04:05:28Z","timestamp":1371269128000},"page":"63-83","source":"Crossref","is-referenced-by-count":5,"title":["Symbolic Automata for Static Specification Mining"],"prefix":"10.1007","author":[{"given":"Hila","family":"Peleg","sequence":"first","affiliation":[]},{"given":"Sharon","family":"Shoham","sequence":"additional","affiliation":[]},{"given":"Eran","family":"Yahav","sequence":"additional","affiliation":[]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Acharya, M., Xie, T., Pei, J., Xu, J.: Mining API patterns as partial orders from source code: from usage scenarios to specifications. In: ESEC-FSE 2007, pp. 25\u201334 (2007)","key":"6_CR1","DOI":"10.1145\/1287624.1287630"},{"doi-asserted-by":"crossref","unstructured":"Alur, R., Cerny, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for Java classes. In: POPL (2005)","key":"6_CR2","DOI":"10.1145\/1040305.1040314"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-22655-7_2","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"N.E. Beckman","year":"2011","unstructured":"Beckman, N.E., Kim, D., Aldrich, J.: An empirical study of object protocols in the wild. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 2\u201326. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Ganesh, V., Minnes, M., Solar-Lezama, A., Rinard, M.: Word equations with length constraints: what decidable? In: Haifa Verification Conference (2012)","key":"6_CR4","DOI":"10.1007\/978-3-642-39611-3_21"},{"doi-asserted-by":"crossref","unstructured":"Gruska, N., Wasylkowski, A., Zeller, A.: Learning from 6,000 projects: Lightweight cross-project anomaly detection. In: ISSTA 2010 (2010)","key":"6_CR5","DOI":"10.1145\/1831708.1831723"},{"doi-asserted-by":"crossref","unstructured":"Mandelin, D., Xu, L., Bodik, R., Kimelman, D.: Jungloid mining: helping to navigate the API jungle. In: PLDI 2005, pp. 48\u201361 (2005)","key":"6_CR6","DOI":"10.1145\/1065010.1065018"},{"doi-asserted-by":"crossref","unstructured":"Mishne, A., Shoham, S., Yahav, E.: Typestate-based semantic code search over partial programs. In: OOPSLA 2012: Proceedings of the 27th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (2012)","key":"6_CR7","DOI":"10.1145\/2384616.2384689"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-14107-2_2","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"M. Monperrus","year":"2010","unstructured":"Monperrus, M., Bruch, M., Mezini, M.: Detecting missing method calls in object-oriented software. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 2\u201325. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Plandowski, W.: An efficient algorithm for solving word equations. In: Proceedings of the Thirty-Eighth Annual ACM Symposium on Theory of Computing, STOC 2006 (2006)","key":"6_CR9","DOI":"10.1145\/1132516.1132584"},{"doi-asserted-by":"crossref","unstructured":"Shoham, S., Yahav, E., Fink, S., Pistoia, M.: Static specification mining using automata-based abstractions. In: ISSTA 2007 (2007)","key":"6_CR10","DOI":"10.1145\/1273463.1273487"},{"issue":"1","key":"6_CR11","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"R.E. Strom","year":"1986","unstructured":"Strom, R.E., Yemini, S.: Typestate: A programming language concept for enhancing software reliability. IEEE Trans. Software Eng.\u00a012(1), 157\u2013171 (1986)","journal-title":"IEEE Trans. Software Eng."},{"doi-asserted-by":"crossref","unstructured":"Wasylkowski, A., Zeller, A.: Mining temporal specifications from object usage. In: Autom. Softw. Eng., vol.\u00a018 (2011)","key":"6_CR12","DOI":"10.1007\/s10515-011-0084-1"},{"doi-asserted-by":"crossref","unstructured":"Wasylkowski, A., Zeller, A., Lindig, C.: Detecting object usage anomalies. In: FSE 2007, pp. 35\u201344 (2007)","key":"6_CR13","DOI":"10.1145\/1287624.1287632"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/978-3-540-31980-1_30","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"W. Weimer","year":"2005","unstructured":"Weimer, W., Necula, G.C.: Mining temporal specifications for error detection. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a0TACAS, pp. 461\u2013476. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Whaley, J., Martin, M.C., Lam, M.S.: Automatic extraction of object-oriented component interfaces. In: ISSTA 2002 (2002)","key":"6_CR15","DOI":"10.1145\/566210.566212"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38856-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T04:58:25Z","timestamp":1557809905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38856-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388552","9783642388569"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38856-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}