{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T20:14:44Z","timestamp":1784837684782,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642050886","type":"print"},{"value":"9783642050893","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05089-3_14","type":"book-chapter","created":{"date-parts":[[2009,11,3]],"date-time":"2009-11-03T22:31:40Z","timestamp":1257287500000},"page":"207-222","source":"Crossref","is-referenced-by-count":125,"title":["Inferring Mealy Machines"],"prefix":"10.1007","author":[{"given":"Muzammil","family":"Shahbaz","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roland","family":"Groz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"2","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation\u00a02, 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-73551-9_9","volume-title":"Component-Based Software Engineering","author":"H. Muccini","year":"2007","unstructured":"Muccini, H., Polini, A., Ricci, F., Bertolino, A.: Monitoring architectural properties in dynamic component-based systems. In: Schmidt, H.W., Crnkovi\u0107, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol.\u00a04608, pp. 124\u2013139. Springer, Heidelberg (2007)"},{"key":"14_CR3","first-page":"25","volume-title":"ICDCS","author":"G. Shu","year":"2007","unstructured":"Shu, G., Lee, D.: Testing security properties of protocol implementations-a machine learning based approach. In: ICDCS, p. 25. IEEE Computer Society, Los Alamitos (2007)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: Proceedings of FORTE 1999, Beijing, China (1999)","DOI":"10.1007\/978-0-387-35578-8_13"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/978-3-540-45069-6_31","volume-title":"Computer Aided Verification","author":"H. Hungar","year":"2003","unstructured":"Hungar, H., Niese, O., Steffen, B.: Domain-specific optimization in automata learning. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 315\u2013327. Springer, Heidelberg (2003)"},{"key":"14_CR6","first-page":"95","volume-title":"HLDVT","author":"T. Margaria","year":"2004","unstructured":"Margaria, T., Niese, O., Raffelt, H., Steffen, B.: Efficient test-based model generation for legacy reactive systems. In: HLDVT, pp. 95\u2013100. IEEE Computer Society, Los Alamitos (2004)"},{"key":"14_CR7","unstructured":"Niese, O.: An Integrated Approach to Testing Complex Systems. PhD thesis, University of Dortmund (2003)"},{"key":"14_CR8","first-page":"15","volume-title":"ICSE 2001","author":"E. M\u00e4kinen","year":"2001","unstructured":"M\u00e4kinen, E., Syst\u00e4, T.: MAS - an interactive synthesizer to support behavioral modelling in UML. In: ICSE 2001, pp. 15\u201324. IEEE Computer Society, Los Alamitos (2001)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-3-540-31984-9_14","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Berg","year":"2005","unstructured":"Berg, T., Grinchtein, O., Jonsson, B., Leucker, M., Raffelt, H., Steffen, B.: On the correspondence between conformance testing and regular inference. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 175\u2013189. Springer, Heidelberg (2005)"},{"key":"14_CR10","first-page":"59","volume-title":"TAIC PART","author":"K. Li","year":"2006","unstructured":"Li, K., Groz, R., Shahbaz, M.: Integration testing of components guided by incremental state machine learning. In: TAIC PART, pp. 59\u201370. IEEE Computer Society, Los Alamitos (2006)"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1145\/288548.289075","volume-title":"ICCAD","author":"J.M. Pena","year":"1998","unstructured":"Pena, J.M., Oliveira, A.L.: A new algorithm for the reduction of incompletely specified finite state machines. In: ICCAD, pp. 482\u2013489. ACM, New York (1998)"},{"issue":"3","key":"14_CR12","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1006\/jcss.1996.0035","volume":"52","author":"M. Frazier","year":"1996","unstructured":"Frazier, M., Goldman, S., Mishra, N., Pitt, L.: Learning from a consistently ignorant teacher. J. Comput. Syst. Sci.\u00a052(3), 471\u2013492 (1996)","journal-title":"J. Comput. Syst. Sci."},{"key":"14_CR13","unstructured":"Shahbaz, M.: Reverse Engineering Enhanced State Models of Black Box Components to support Integration Testing. PhD thesis, Grenoble Universities (2008)"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Rivest, R.L., Schapire, R.E.: Inference of finite automata using homing sequences. In: Machine Learning: From Theory to Applications, pp. 51\u201373 (1993)","DOI":"10.1007\/3-540-56483-7_22"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Balcazar, J.L., Diaz, J., Gavalda, R.: Algorithms for learning finite automata from queries: A unified view. In: AALC, pp. 53\u201372 (1997)","DOI":"10.1007\/978-1-4613-3394-4_2"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1007\/11498490_25","volume-title":"Model-Based Testing of Reactive Systems","author":"T. Berg","year":"2005","unstructured":"Berg, T., Raffelt, H.: Model checking. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol.\u00a03472, pp. 557\u2013603. Springer, Heidelberg (2005)"},{"key":"14_CR17","unstructured":"Moller, F., Stevens, P.: Edinburgh Concurrency Workbench User Manual, Version 7.1 (2004), http:\/\/homepages.inf.ed.ac.uk\/perdita\/cwb\/"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2004.12.015","volume":"118","author":"T. Berg","year":"2005","unstructured":"Berg, T., Jonsson, B., Leucker, M., Saksena, M.: Insights to angluin\u2019s learning. Electr. Notes Theor. Comput. Sci.\u00a0118, 3\u201318 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","FM 2009: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05089-3_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:47:32Z","timestamp":1606186052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05089-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642050886","9783642050893"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05089-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}