{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:26:40Z","timestamp":1725805600678},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452332"},{"type":"electronic","value":"9783662452349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45234-9_14","type":"book-chapter","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T01:28:35Z","timestamp":1411694915000},"page":"199-201","source":"Crossref","is-referenced-by-count":3,"title":["Learning Models for Verification and Testing \u2014 Special Track at ISoLA 2014 Track Introduction"],"prefix":"10.1007","author":[{"given":"Falk","family":"Howar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/978-3-642-32759-9_4","volume-title":"FM 2012: Formal Methods","author":"F. Aarts","year":"2012","unstructured":"Aarts, F., Heidarian, F., Kuppens, H., Olsen, P., Vaandrager, F.: Automata learning through counterexample guided abstraction refinement. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol.\u00a07436, pp. 10\u201327. Springer, Heidelberg (2012)"},{"key":"14_CR2","series-title":"JMLR Workshop and Conference Proceedings","first-page":"4","volume-title":"Proceedings 11th International Conference on Grammatical Inference (ICGI 2012)","author":"F. Aarts","year":"2012","unstructured":"Aarts, F., Kuppens, H., Tretmans, G.J., Vaandrager, F.W., Verwer, S.: Learning and testing the bounded retransmission protocol. In: Heinz, J., de la Higuera, C., Oates, T. (eds.) Proceedings 11th International Conference on Grammatical Inference (ICGI 2012), September 5-8. JMLR Workshop and Conference Proceedings, vol.\u00a021, pp. 4\u201318. University of Maryland, College Park (2012)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/978-3-662-45234-9_15","volume-title":"ISoLA 2014, Part I","author":"F. Aarts","year":"2014","unstructured":"Aarts, F., Howar, F., Kuppens, H., Vaandrager, F.: Algorithms for inferring register automata: A comparison of existing approaches. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, pp. 202\u2013219. Springer, Heidelberg (2014)"},{"issue":"2","key":"14_CR4","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(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"key":"14_CR5","series-title":"LNCS","first-page":"236","volume-title":"ISoLA 2014","author":"S. Arlt","year":"2014","unstructured":"Arlt, S., Ermis, E., Feo-Arenis, S., Podelski, A.: Verification of GUI applications: A black-box approach. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol.\u00a08802, pp. 236\u2013252. Springer, Heidelberg (2014)"},{"doi-asserted-by":"crossref","unstructured":"Cassel, S., Howar, F., Jonsson, B., Steffen, B.: Learning extended finite state machines. In: SEFM, pp. 250\u2013264 (2014)","key":"14_CR6","DOI":"10.1007\/978-3-319-10431-7_18"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-36577-X_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J.M. Cobleigh","year":"2003","unstructured":"Cobleigh, J.M., Giannakopoulou, D., P\u0103s\u0103reanu, C.S.: Learning assumptions for compositional verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 331\u2013346. Springer, Heidelberg (2003)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"640","DOI":"10.1007\/978-3-642-16558-0_51","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"D. Giannakopoulou","year":"2010","unstructured":"Giannakopoulou, D., P\u0103s\u0103reanu, C.S.: Learning techniques for software verification and validation \u2013 special track at iSoLA 2010. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol.\u00a06415, pp. 640\u2013642. Springer, Heidelberg (2010)"},{"key":"14_CR9","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.: 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":"14_CR10","series-title":"CCIS","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","year":"2012","unstructured":"H\u00e4hnle, R., Knoop, J., Margaria, T., Schreiner, D., Steffen, B. (eds.): ISoLA 2011 Workshops 2011. CCIS, vol.\u00a0336. Springer, Heidelberg (2012)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-27940-9_17","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F. Howar","year":"2012","unstructured":"Howar, F., Steffen, B., Jonsson, B., Cassel, S.: Inferring canonical register automata. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol.\u00a07148, pp. 251\u2013266. Springer, Heidelberg (2012)"},{"issue":"1-2","key":"14_CR12","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s10994-013-5419-7","volume":"96","author":"M. Isberner","year":"2014","unstructured":"Isberner, M., Howar, F., Steffen, B.: Learning register automata: from languages to program structures. Machine Learning\u00a096(1-2), 65\u201398 (2014)","journal-title":"Machine Learning"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1109\/WCRE.2003.1287256","volume-title":"Proceedings of the 10th Working Conference on Reverse Engineering, WCRE 2003","author":"A. Memon","year":"2003","unstructured":"Memon, A., Banerjee, I., Nagarajan, A.: Gui ripping: Reverse engineering of graphical user interfaces for testing. In: Proceedings of the 10th Working Conference on Reverse Engineering, WCRE 2003, p. 260. IEEE Computer Society, Washington, DC (2003)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/978-3-642-34026-0_37","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"C.S. P\u0103s\u0103reanu","year":"2012","unstructured":"P\u0103s\u0103reanu, C.S., Bobaru, M.: Learning techniques for software verification and validation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 505\u2013507. Springer, Heidelberg (2012)"},{"issue":"2","key":"14_CR15","first-page":"225","volume":"7","author":"D. Peled","year":"2002","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black Box Checking. Journal of Automata, Languages, and Combinatorics\u00a07(2), 225\u2013246 (2002)","journal-title":"Journal of Automata, Languages, and Combinatorics"},{"key":"14_CR16","series-title":"LNCS","first-page":"514","volume-title":"ISoLA 2014","author":"B. Steffen","year":"2014","unstructured":"Steffen, B.: LNCS transaction on foundations for mastering change: Preliminary manifesto. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol.\u00a08802, pp. 514\u2013517. Springer, Heidelberg (2014)"},{"key":"14_CR17","series-title":"LNCS","first-page":"220","volume-title":"ISoLA 2014","author":"M. Volpato","year":"2014","unstructured":"Volpato, M., Tretmans, J.: Active learning of nondeterministic systems from an ioco perspective. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol.\u00a08802, pp. 220\u2013235. Springer, Heidelberg (2014)"}],"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-662-45234-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T23:58:14Z","timestamp":1559001494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45234-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452332","9783662452349"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45234-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}