{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T04:19:15Z","timestamp":1744258755700,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_7","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"79-96","source":"Crossref","is-referenced-by-count":7,"title":["Automated Inference of Models for Black Box Systems Based on Interface Descriptions"],"prefix":"10.1007","author":[{"given":"Maik","family":"Merten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Falk","family":"Howar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pellicione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-16573-3_14","volume-title":"Testing Software and Systems","author":"F. Aarts","year":"2010","unstructured":"Aarts, F., Jonsson, B., Uijen, J.: Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol.\u00a06435, pp. 188\u2013204. Springer, Heidelberg (2010)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Cern\u00fd, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for Java classes. In: POPL, pp. 98\u2013109 (2005)","DOI":"10.1145\/1047659.1040314"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput.\u00a075, 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-642-16561-0_23","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"A. Bennaceur","year":"2010","unstructured":"Bennaceur, A., Blair, G., Chauvel, F., Gang, H., Georgantas, N., Grace, P., Howar, F., Inverardi, P., Issarny, V., Paolucci, M., Pathak, A., Spalazzese, R., Steffen, B., Souville, B.: Towards an Architecture for Runtime Interoperability. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 206\u2013220. Springer, Heidelberg (2010)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-540-78743-3_24","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Berg","year":"2008","unstructured":"Berg, T., Jonsson, B., Raffelt, H.: Regular Inference for State Machines Using Domains with Equality Tests. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 317\u2013331. Springer, Heidelberg (2008)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: ESEC\/SIGSOFT FSE, pp. 141\u2013150. ACM (2009)","DOI":"10.1145\/1595696.1595719"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: Proceedings of The 7th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 141\u2013150 (August 2009)","DOI":"10.1145\/1595696.1595719"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-642-24372-1_26","volume-title":"Automated Technology for Verification and Analysis","author":"S. Cassel","year":"2011","unstructured":"Cassel, S., Howar, F., Jonsson, B., Merten, M., Steffen, B.: A Succinct Canonical Register Automaton Model. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol.\u00a06996, pp. 366\u2013380. Springer, Heidelberg (2011)"},{"key":"7_CR9","first-page":"85","volume-title":"Proceedings of ISSTA 2010","author":"V. Dallmeier","year":"2010","unstructured":"Dallmeier, V., Knopp, N., Mallon, C., Hack, S., Zeller, A.: Generating test cases for specification mining. In: Proceedings of ISSTA 2010, pp. 85\u201396. ACM, New York (2010)"},{"issue":"1-3","key":"7_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"M.D. Ernst","year":"2007","unstructured":"Ernst, M.D., Perkins, J.H., Guo, P.J., McCamant, S., Pacheco, C., Tschantz, M.S., Xiao, C.: The Daikon system for dynamic detection of likely invariants. Sci. Comput. Programming\u00a069(1-3), 35\u201345 (2007)","journal-title":"Sci. Comput. Programming"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Mocci, A., Monga, M.: Synthesizing Intentional Behavior Models by Graph Transformation. In: ICSE 2009, Vancouver, Canada (2009)","DOI":"10.1109\/ICSE.2009.5070542"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/3-540-45923-5_6","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Hagerer","year":"2002","unstructured":"Hagerer, A., Hungar, H., Niese, O., Steffen, B.: Model Generation by Moderated Regular Extrapolation. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 80\u201395. Springer, Heidelberg (2002)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy systems. In: Proceedings of the International Test Conference, ITC 2003, September 30-October 2, vol.\u00a01, pp. 971\u2013980 (2003)","DOI":"10.1109\/TEST.2003.1271084"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-21455-4_10","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"B. Jonsson","year":"2011","unstructured":"Jonsson, B.: Learning of Automata Models Extended with Data. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 327\u2013349. Springer, Heidelberg (2011)"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/1368088.1368157","volume-title":"ICSE 2008","author":"D. Lorenzoli","year":"2008","unstructured":"Lorenzoli, D., Mariani, L., Pezz\u00e8, M.: Automatic Generation of Software Behavioral Models. In: ICSE 2008, pp. 501\u2013510. ACM, NY (2008)"},{"issue":"5","key":"7_CR16","doi-asserted-by":"publisher","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 Software\u00a024(5), 76\u201385 (2007)","journal-title":"IEEE Software"},{"key":"7_CR17","unstructured":"Niese, O.: An Integrated Approach to Testing Complex Systems. PhD thesis, University of Dortmund, Germany (2003)"},{"key":"7_CR18","unstructured":"Oracle.com. JAX-WS RI 2.1.1 \u2013 wsimport, http:\/\/download.oracle.com\/javase\/6\/docs\/technotes\/tools\/share\/wsimport.html (2011) (online; accessed September 13, 2011)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Pradel, M., Gross, T.: Automatic generation of object usage specifications from large method traces. In: Proceedings of ASE 2009, pp. 371\u2013382 (November 2009)","DOI":"10.1109\/ASE.2009.60"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1390832.1390833","volume-title":"Proceedings of TAV-WEB 2008","author":"H. Raffelt","year":"2008","unstructured":"Raffelt, H., Margaria, T., Steffen, B., Merten, M.: Hybrid test of web applications with webtest. In: Proceedings of TAV-WEB 2008, pp. 1\u20137. ACM, New York (2008)"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/s10009-009-0111-8","volume":"11","author":"H. Raffelt","year":"2009","unstructured":"Raffelt, H., Steffen, B., Berg, T., Margaria, T.: Learnlib: a framework for extrapolating behavioral models. Int. J. Softw. Tools Technol. Transf.\u00a011, 393\u2013407 (2009)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"7_CR22","first-page":"755","volume-title":"Learning Parameterized State Machine Model for Integration Testing","author":"M. Shahbaz","year":"2007","unstructured":"Shahbaz, M., Li, K., Groz, R.: Learning Parameterized State Machine Model for Integration Testing, vol.\u00a02, pp. 755\u2013760. IEEE Computer Society, Washington, DC (2007)"},{"key":"7_CR23","first-page":"276","volume-title":"Proceedings of ISSTA 2011","author":"M. Shahbaz","year":"2011","unstructured":"Shahbaz, M., Shashidhar, K.C., Eschbach, R.: Iterative refinement of specification for component based embedded systems. In: Proceedings of ISSTA 2011, pp. 276\u2013286. ACM, New York (2011)"},{"key":"7_CR24","unstructured":"Wasylkowski, A., Zeller, A.: Mining Operational Preconditions (Tech. Rep.), http:\/\/www.st.cs.uni-saarland.de\/models\/papers\/wasylkowski-2008-preconditions.pdf"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Wasylkowski, A., Zeller, A., Lindig, C.: Detecting Object Usage Anomalies. In: ESEC-FSE 2007, pp. 35\u201344. ACM (2007)","DOI":"10.1145\/1287624.1287632"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:24:21Z","timestamp":1744205061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}