{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:47:56Z","timestamp":1771573676106,"version":"3.50.1"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319259444","type":"print"},{"value":"9783319259451","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25945-1_10","type":"book-chapter","created":{"date-parts":[[2015,11,6]],"date-time":"2015-11-06T22:20:37Z","timestamp":1446848437000},"page":"161-177","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Inferring Finite State Machines Without Reset Using State Identification Sequences"],"prefix":"10.1007","author":[{"given":"Roland","family":"Groz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adenilso","family":"Simao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Petrenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catherine","family":"Oriat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"10_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. 6435, pp. 188\u2013204. Springer, Heidelberg (2010)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Ammons, G., Bodik, R., Larus, J.: Mining specifications. In: POPL 2002, pp. 4\u201316 (2002)","DOI":"10.1145\/565816.503275"},{"key":"10_CR3","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. Inf. Comput. 2, 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: ESEC\/FSE 2009, pp. 141\u2013150 (2009)","DOI":"10.1145\/1595696.1595719"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Pasareanu, C.S., Robby, Zheng, H.: Bandera: extracting finite-state models from Java source code. In: 22nd ICSE, pp. 439\u2013448 (2000)","DOI":"10.1145\/337180.337234"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Hennie, F.C.: Fault-detecting experiments for sequential circuits. In: Proceedings of Fifth Annual Symposium On Circuit Theory and Logical Design, pp. 95\u2013110 (1965)","DOI":"10.1109\/SWCT.1964.8"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Irfan, M.N., Oriat, C., Groz, R.: Angluin style finite state machine inference with non-optimal counterexamples. In: Workshop on Model Inference In Testing 2010, ISSTA, 11\u201319 (2010)","DOI":"10.1145\/1868044.1868046"},{"issue":"5","key":"10_CR8","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1016\/j.ipl.2015.01.002","volume":"115","author":"GV Jourdan","year":"2015","unstructured":"Jourdan, G.V., Ural, H., Yenig\u00fcn, H.: Reduced checking sequences using unreliable reset. Inf. Process. Lett. 115(5), 532\u2013535 (2015)","journal-title":"Inf. Process. Lett."},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - a survey. Proc. IEEE 84, 1090\u20131123 (1996)","journal-title":"Proc. IEEE"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-15488-1_13","volume-title":"Grammatical Inference: Theoretical Results and Applications","author":"K Meinke","year":"2010","unstructured":"Meinke, K.: CGE: a sequential learning algorithm for Mealy automata. In: Sempere, J.M., Garc\u00eda, P. (eds.) ICGI 2010. LNCS, vol. 6339, pp. 148\u2013162. Springer, Heidelberg (2010)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Mihancea, P.F., Minea, M.: jModex: model extraction for verifying security properties of web applications. In: CSMR-WCRE, pp. 450\u2013453 (2014)","DOI":"10.1109\/CSMR-WCRE.2014.6747216"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Li, K., Groz, R., Hossen, K., Oriat, C.: Inferring approximated models for systems engineering. In: HASE 2014, pp 249\u2013253 (2014)","DOI":"10.1109\/HASE.2014.46"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-41202-8_9","volume-title":"Formal Methods and Software Engineering","author":"FR Porto","year":"2013","unstructured":"Porto, F.R., Endo, A.T., Simao, A.: Generation of checking sequences using identification sets. In: Groves, L., Sun, J. (eds.) ICFEM 2013. LNCS, vol. 8144, pp. 115\u2013130. Springer, Heidelberg (2013)"},{"issue":"12","key":"10_CR14","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1016\/0140-3664(96)81589-1","volume":"18","author":"A Rezaki","year":"1995","unstructured":"Rezaki, A., Ural, H.: Construction of checking sequences based on characterization sets. Comput. Commun. 18(12), 911\u2013920 (1995)","journal-title":"Comput. Commun."},{"key":"10_CR15","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-56483-7_22","volume-title":"Machine Learning: From Theory to Applications","author":"RL Rivest","year":"1993","unstructured":"Rivest, R.L., Schapire, R.E.: Inference of finite automata using homing sequences. In: Hanson, S.J., Remmele, W., Rivest, R.L. (eds.) Machine Learning: From Theory to Applications. LNCS, vol. 661, pp. 51\u201373. Springer, Heidelberg (1993)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-05089-3_14","volume-title":"FM 2009: Formal Methods","author":"M Shahbaz","year":"2009","unstructured":"Shahbaz, M., Groz, R.: Inferring Mealy machines. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 207\u2013222. Springer, Heidelberg (2009)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-642-21455-4_8","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"B Steffen","year":"2011","unstructured":"Steffen, B., Howar, F., Merten, M.: Introduction to active automata learning from a practical perspective. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 256\u2013296. Springer, Heidelberg (2011)"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/BF01068590","volume":"9","author":"MP Vasilevskii","year":"1973","unstructured":"Vasilevskii, M.P.: Failure diagnosis of automata. Cybernetics 9, 653\u2013665 (1973)","journal-title":"Cybernetics"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25945-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,18]],"date-time":"2019-12-18T03:23:00Z","timestamp":1576639380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25945-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319259444","9783319259451"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25945-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"8 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}