{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:42:54Z","timestamp":1743151374828,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_50","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"651-654","source":"Crossref","is-referenced-by-count":4,"title":["Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems"],"prefix":"10.1007","author":[{"given":"Falk","family":"Howar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karl","family":"Meinke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Rausch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"50_CR1","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 of 11th International Conference on Grammatical Inference (ICGI 2012), 5\u20138 September 2012. JMLR Workshop and Conference Proceedings, vol. 21. pp. 4\u201318. University of Maryland, College Park (2012)"},{"key":"50_CR2","doi-asserted-by":"crossref","unstructured":"Bainczyk, A., Isberner, M., Margaria, T., Neubauer, J., Schieweck, A., Steffen, B.: ALEX: mixed-mode learning of web applications at ease. In: ISoLA 2016 (2016)","DOI":"10.1007\/978-3-319-47169-3_51"},{"key":"50_CR3","doi-asserted-by":"crossref","unstructured":"Bosch, J., Olsson, H.H.: Data-driven continuous evolution of smart systems. In: Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016, pp. 28\u201334. ACM, New York (2016)","DOI":"10.1145\/2897053.2897066"},{"key":"50_CR4","unstructured":"Cassel, S., Howar, F., Jonsson, B.: RALib: a LearnLib extension for inferring EFSMs. In: DIFTS 2015 at FMCAD 2015 (2015) (published online)"},{"key":"50_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-319-10431-7_18","volume-title":"Software Engineering and Formal Methods","author":"S Cassel","year":"2014","unstructured":"Cassel, S., Howar, F., Jonsson, B., Steffen, B.: Learning extended finite state machines. In: Giannakopoulou, D., Sala\u00fcn, G. (eds.) SEFM 2014. LNCS, vol. 8702, pp. 250\u2013264. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-10431-7_18"},{"key":"50_CR6","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":"JM 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. 2619, pp. 331\u2013346. Springer, Heidelberg (2003). doi: 10.1007\/3-540-36577-X_24"},{"key":"50_CR7","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. 6415, pp. 640\u2013642. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16558-0_51"},{"key":"50_CR8","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. 2306, pp. 80\u201395. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45923-5_6"},{"key":"50_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-662-45234-9_14","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"F Howar","year":"2014","unstructured":"Howar, F., Steffen, B.: Learning models for verification and testing \u2014 special track at ISoLA 2014 Track Introduction. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 199\u2013201. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-45234-9_14"},{"issue":"1\u20132","key":"50_CR10","doi-asserted-by":"crossref","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. Mach. Learn. 96(1\u20132), 65\u201398 (2014)","journal-title":"Mach. Learn."},{"key":"50_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/978-3-319-21690-4_32","volume-title":"Computer Aided Verification","author":"M Isberner","year":"2015","unstructured":"Isberner, M., Howar, F., Steffen, B.: The open-source LearnLib. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 487\u2013495. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-21690-4_32"},{"key":"50_CR12","doi-asserted-by":"crossref","unstructured":"Mauritz, M., Howar, F., Rausch, A.: Assuring the safety of advanced driver assistance systems through a combination of simulation and runtime monitoring. In: ISoLA 2016 (2016)","DOI":"10.1007\/978-3-319-47169-3_52"},{"key":"50_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-21768-5_11","volume-title":"Tests and Proofs","author":"K Meinke","year":"2011","unstructured":"Meinke, K., Sindhu, M.A.: Incremental learning-based testing for reactive systems. In: Gogolla, M., Wolff, B. (eds.) TAP 2011. LNCS, vol. 6706, pp. 134\u2013151. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21768-5_11"},{"key":"50_CR14","doi-asserted-by":"crossref","unstructured":"Meinke, K., Sindhu, M.A.: Lbtest: a learning-based testing tool for reactive systems. In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, 18\u201322 March 2013, pp. 447\u2013454 (2013)","DOI":"10.1109\/ICST.2013.62"},{"key":"50_CR15","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","author":"CS Pasareanu","year":"2012","unstructured":"Pasareanu, C.S., Bobaru, M.: Learning techniques for software verification and validation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 505\u2013507. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-34026-0_37"},{"issue":"2","key":"50_CR16","first-page":"225","volume":"7","author":"D Peled","year":"2002","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. J. Automata Lang. Comb. 7(2), 225\u2013246 (2002)","journal-title":"J. Automata Lang. Comb."},{"issue":"4","key":"50_CR17","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/s10009-009-0120-7","volume":"11","author":"H Raffelt","year":"2009","unstructured":"Raffelt, H., Merten, M., Steffen, B., Margaria, T.: Dynamic testing via automata learning. Int. J. Softw. Tools Technol. Transfer 11(4), 307\u2013324 (2009)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"50_CR18","doi-asserted-by":"crossref","unstructured":"Schudeleit, M., Zhang, M., Qi, X., K\u00fc\u00e7\u00fckay, F., Rausch, A.: Enhancement of an adaptive hev operating strategy using machine learning algorithms. In: ISoLA 2016 (2016)","DOI":"10.1007\/978-3-319-47169-3_53"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:22:06Z","timestamp":1498335726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}