{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T12:25:12Z","timestamp":1648729512933},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,5,10]],"date-time":"2015-05-10T00:00:00Z","timestamp":1431216000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s00236-015-0234-1","type":"journal-article","created":{"date-parts":[[2015,5,9]],"date-time":"2015-05-09T06:40:52Z","timestamp":1431153652000},"page":"327-356","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Symbolic automata for representing big code"],"prefix":"10.1007","volume":"53","author":[{"given":"Hila","family":"Peleg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sharon","family":"Shoham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eran","family":"Yahav","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,5,10]]},"reference":[{"key":"234_CR1","doi-asserted-by":"crossref","unstructured":"Abdulla, P.A., Chen, Y.F., Hol\u00edk, L., Mayr, R., Vojnar, T.: When simulation meets antichains. In: TACAS, pp. 158\u2013174 (2010)","DOI":"10.1007\/978-3-642-12002-2_14"},{"key":"234_CR2","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: Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ESEC-FSE \u201907, pp. 25\u201334. ACM (2007)","DOI":"10.1145\/1287624.1287630"},{"key":"234_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Cerny, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for Java classes. In: Proceedings of the 32Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201905, pp. 98\u2013109. ACM (2005)","DOI":"10.1145\/1047659.1040314"},{"key":"234_CR4","doi-asserted-by":"crossref","unstructured":"Ammons, G., Bodik, R., Larus, J.R.: Mining specifications. In: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201902, pp. 4\u201316. ACM (2002)","DOI":"10.1145\/503272.503275"},{"issue":"9","key":"234_CR5","first-page":"577","volume":"33","author":"S Bellon","year":"2007","unstructured":"Bellon, S., Koschke, R., Antoniol, G., Krinke, J., Merlo, E.: Comparison and evaluation of clone detection tools. IEEE TSE 33(9), 577\u2013591 (2007)","journal-title":"IEEE TSE"},{"issue":"3","key":"234_CR6","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"JE Cook","year":"1998","unstructured":"Cook, J.E., Wolf, A.L.: Discovering models of software processes from event-based data. ACM Trans. Softw. Eng. Methodol. 7(3), 215\u2013249 (1998). doi: 10.1145\/287000.287001","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"234_CR7","doi-asserted-by":"crossref","unstructured":"Dallmeier, V., Lindig, C., Wasylkowski, A., Zeller, A.: Mining object behavior with ADABU. In: Proceedings of the 2006 International Workshop on Dynamic Systems Analysis, WODA \u201906, pp. 17\u201324. ACM (2006)","DOI":"10.1145\/1138912.1138918"},{"key":"234_CR8","doi-asserted-by":"crossref","unstructured":"David, Y., Yahav, E.: Tracelet-based code search in executables. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201914, pp. 349\u2013360. ACM, New York, NY, USA (2014). doi: 10.1145\/2594291.2594343","DOI":"10.1145\/2594291.2594343"},{"key":"234_CR9","doi-asserted-by":"crossref","unstructured":"Ganesh, V., Minnes, M., Solar-Lezama, A., Rinard, M.: Word equations with length constraints: whats decidable? In: Haifa Verification Conference, HVC\u201912, Lecture Notes in Computer Science, vol. 7857, pp. 209\u2013226. Springer (2012)","DOI":"10.1007\/978-3-642-39611-3_21"},{"key":"234_CR10","doi-asserted-by":"crossref","unstructured":"Gruska, N., Wasylkowski, A., Zeller, A.: Learning from 6,000 projects: lightweight cross-project anomaly detection. In: Proceedings of the 19th International Symposium on Software Testing and Analysis, ISSTA \u201910, pp. 119\u2013130. ACM (2010)","DOI":"10.1145\/1831708.1831723"},{"key":"234_CR11","doi-asserted-by":"crossref","unstructured":"Horwitz, S.: Identifying the semantic and textual differences between two versions of a program. In: Proceedings of the ACM Conference on Programming Language Design and Implementation, pp. 234\u2013245 (1990)","DOI":"10.1145\/93548.93574"},{"key":"234_CR12","doi-asserted-by":"crossref","unstructured":"Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. In: PLDI \u201988 (1988). doi: 10.1145\/53990.53994","DOI":"10.1145\/53990.53994"},{"key":"234_CR13","doi-asserted-by":"crossref","unstructured":"Komondoor, R., Horwitz, S.: Using slicing to identify duplication in source code. In: Cousot, P. (ed.) Static Analysis. Lecture Notes in Computer Science, vol. 2126, pp. 40\u201356. Springer, Berlin (2001)","DOI":"10.1007\/3-540-47764-0_3"},{"key":"234_CR14","doi-asserted-by":"crossref","unstructured":"Lo, D., Khoo, S.C.: SMArTIC: towards building an accurate, robust and scalable specification miner. In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT \u201906\/FSE-14, pp. 265\u2013275. ACM (2006)","DOI":"10.1145\/1181775.1181808"},{"issue":"5","key":"234_CR15","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/MS.2007.138","volume":"24","author":"L Mariani","year":"2007","unstructured":"Mariani, L., Pezz\u00e8, M.: Dynamic detection of COTS component incompatibility. IEEE Softw. 24(5), 76\u201385 (2007)","journal-title":"IEEE Softw."},{"key":"234_CR16","doi-asserted-by":"crossref","unstructured":"Mishne, A., Shoham, S., Yahav, E.: Typestate-based semantic code search over partial programs. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA \u201912, pp. 997\u20131016. ACM (2012)","DOI":"10.1145\/2384616.2384689"},{"key":"234_CR17","doi-asserted-by":"crossref","unstructured":"Monperrus, M., Bruch, M., Mezini, M.: Detecting missing method calls in object-oriented software. In: Proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP\u201910, LNCS, vol. 6183, pp. 2\u201325 (2010)","DOI":"10.1007\/978-3-642-14107-2_2"},{"key":"234_CR18","doi-asserted-by":"crossref","unstructured":"Partush, N., Yahav, E.: Abstract semantic differencing for numerical programs. In: Logozzo, F., Fhndrich, M. (eds.) Static Analysis. Lecture Notes in Computer Science, vol. 7935, pp. 238\u2013258. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-38856-9_14"},{"key":"234_CR19","doi-asserted-by":"crossref","unstructured":"Partush, N., Yahav, E.: Abstract semantic differencing via speculative correlation. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA \u201914 (2014)","DOI":"10.1145\/2660193.2660245"},{"key":"234_CR20","doi-asserted-by":"crossref","unstructured":"Peleg, H., Shoham, S., Yahav, E., Yang, H.: Symbolic automata for static specification mining. In: Proceedings of Static Analysis\u201420th International Symposium, SAS 2013, Lecture Notes in Computer Science, vol. 7935, pp. 63\u201383. Springer (2013)","DOI":"10.1007\/978-3-642-38856-9_6"},{"key":"234_CR21","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 \u201906, pp. 467\u2013476. ACM (2006)","DOI":"10.1145\/1132516.1132584"},{"key":"234_CR22","doi-asserted-by":"crossref","unstructured":"Raychev, V., Vechev, M., Yahav, E.: Code completion with statistical language models. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201914, pp. 419\u2013428. ACM, New York, NY, USA (2014). doi: 10.1145\/2594291.2594321","DOI":"10.1145\/2594291.2594321"},{"key":"234_CR23","doi-asserted-by":"crossref","unstructured":"Shoham, S., Yahav, E., Fink, S., Pistoia, M.: Static specification mining using automata-based abstractions. In: Proceedings of the 2007 International Symposium on Software Testing and Analysis, ISSTA \u201907, pp. 174\u2013184. ACM (2007)","DOI":"10.1145\/1273463.1273487"},{"issue":"1","key":"234_CR24","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"RE Strom","year":"1986","unstructured":"Strom, R.E., Yemini, S.: Typestate: a programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng. 12(1), 157\u2013171 (1986)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"234_CR25","doi-asserted-by":"crossref","unstructured":"Wasylkowski, A., Zeller, A., Lindig, C.: Detecting object usage anomalies. In: Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ESEC-FSE \u201907, pp. 35\u201344. ACM (2007)","DOI":"10.1145\/1287624.1287632"},{"key":"234_CR26","doi-asserted-by":"crossref","unstructured":"Weimer, W., Necula, G.: Mining temporal specifications for error detection. In: Tools and Algorithms for the Construction and Analysis of Systems, TACAS\u201905, pp. 461\u2013476 (2005)","DOI":"10.1007\/978-3-540-31980-1_30"},{"key":"234_CR27","doi-asserted-by":"crossref","unstructured":"Whaley, J., Martin, M.C., Lam, M.S.: Automatic extraction of object-oriented component interfaces. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA \u201902, pp. 218\u2013228. ACM (2002)","DOI":"10.1145\/566172.566212"},{"key":"234_CR28","doi-asserted-by":"crossref","unstructured":"Wulf, M.D., Doyen, L., Henzinger, T.A., Raskin, J.F.: Antichains: A new algorithm for checking universality of finite automata. In: CAV, pp. 17\u201330 (2006)","DOI":"10.1007\/11817963_5"},{"key":"234_CR29","doi-asserted-by":"crossref","unstructured":"Yang, J., Evans, D., Bhardwaj, D., Bhat, T., Das, M.: Perracotta: mining temporal API rules from imperfect traces. In: Proceedings of the 28th International Conference on Software Engineering, ICSE \u201906, pp. 282\u2013291. ACM (2006)","DOI":"10.1145\/1134285.1134325"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0234-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-015-0234-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0234-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,24]],"date-time":"2019-08-24T17:40:19Z","timestamp":1566668419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-015-0234-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,10]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["234"],"URL":"https:\/\/doi.org\/10.1007\/s00236-015-0234-1","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,5,10]]}}}