{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T01:25:06Z","timestamp":1770341106451,"version":"3.49.0"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031757778","type":"print"},{"value":"9783031757785","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,11,18]],"date-time":"2024-11-18T00:00:00Z","timestamp":1731888000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,18]],"date-time":"2024-11-18T00:00:00Z","timestamp":1731888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-75778-5_4","type":"book-chapter","created":{"date-parts":[[2024,11,17]],"date-time":"2024-11-17T12:09:09Z","timestamp":1731845349000},"page":"66-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Malwa: Learnability by\u00a0Design"],"prefix":"10.1007","author":[{"given":"Marco","family":"Krumrey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Bainczyk","sequence":"additional","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"}]}],"member":"297","published-online":{"date-parts":[[2024,11,18]]},"reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-642-32940-1_18","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"F Aarts","year":"2012","unstructured":"Aarts, F., Heidarian, F., Vaandrager, F.: A theory of history dependent abstractions for learning interface automata. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 240\u2013255. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32940-1_18"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Aarts, F., et al.: Generating models of infinite-state communication protocols using regular inference with abstraction. Form. Methods Syst. Des. 46(1), 1\u201341 (2015). ISSN: 0925-9856, https:\/\/doi.org\/10.1007\/s10703-014-0216-x","DOI":"10.1007\/s10703-014-0216-x"},{"key":"4_CR3","unstructured":"Hartig, P., Osmani, A., Sorhus, S., Sawchuk, S.: TodoMVC (2024). http:\/\/web.archive.org\/web\/20080207010024\/http:\/\/www.808multimedia.com\/winnt\/kernel.htm. Visited 22 Jan 2024"},{"key":"4_CR4","doi-asserted-by":"publisher","unstructured":"Bainczyk, A.: Simplicity-oriented lifelong learning of web applications. Dissertation. Technische Universit\u00e4t Dortmund, January 2024. https:\/\/doi.org\/10.17877\/DE290R-24274","DOI":"10.17877\/DE290R-24274"},{"key":"4_CR5","doi-asserted-by":"publisher","unstructured":"Bainczyk, A., Steffen, B., Howar, F.: Lifelong learning of reactive systems in practice. In: Ahrendt, W. et al. (eds.) The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner H\u00e4hnle on the Occasion of His 60th Birthday. LNCS, vol. 13360, pp. 38\u201353. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08166-8_3","DOI":"10.1007\/978-3-031-08166-8_3"},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Bainczyk, A., et al.: ALEX: mixed-mode learning of web applications at ease. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, 10\u201314 October 2016, Proceedings, Part II, pp. 655\u2013671. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_51","DOI":"10.1007\/978-3-319-47169-3_51"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Bainczyk, A., et al.: Model-based testing without models: the TodoMVC case study. In: Katoen, J.-P., Langerak, R., Rensink, A. (eds.) ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, pp. 125\u2013144. Springer, Cham (2017). ISBN: 978-3-319-68270-9, https:\/\/doi.org\/10.1007\/978-3-319-68270-9_7","DOI":"10.1007\/978-3-319-68270-9_7"},{"key":"4_CR8","unstructured":"Banerjee, S.: A survey on Software as a service (SaaS) using quality model in cloud computing, May 2014"},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Bollig, B., et al.: Learning communicating automata from MSCs. IEEE Trans. Softw. Eng. 36(3), 390\u2013408 (2010). https:\/\/doi.org\/10.1109\/TSE.2009.89","DOI":"10.1109\/TSE.2009.89"},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"Bollig, B., et al.: libalf: the automata learning framework. English. In: Touili, T., Cook, B., Jackson, P. (eds.) Computer Aided Verification. LNCS, vol. 6174, pp. 360\u2013364. Springer, Cham (2010). ISBN: 978-3-642-14294-9, https:\/\/doi.org\/10.1007\/978-3-642-14295-6_32","DOI":"10.1007\/978-3-642-14295-6_32"},{"key":"4_CR11","doi-asserted-by":"publisher","unstructured":"Bollig, B., et al.: Replaying play in and play out: synthesis of design models from scenarios by learning, pp. 435\u2013450, March 2007. ISBN: 978-3-540-71208-4, https:\/\/doi.org\/10.1007\/978-3-540-71209-1_33","DOI":"10.1007\/978-3-540-71209-1_33"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Bollig, B., et al.: SMA\u2014the Smyle Modeling Approach. In: Huzar, Z., et al. (eds.) Software Engineering Techniques, pp. 103\u2013117. Springer, Heidelberg (2011). ISBN: 978-3-642-22386-0","DOI":"10.1007\/978-3-642-22386-0_8"},{"key":"4_CR13","doi-asserted-by":"publisher","unstructured":"Bollig, B., et al.: Smyle: a tool for synthesizing distributed models from scenarios by learning. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008 - Concurrency Theory, pp. 162\u2013166. Springer, Heidelberg (2008). ISBN: 978-3-540-85361-9, https:\/\/doi.org\/10.1007\/978-3-540-85361-9_15","DOI":"10.1007\/978-3-540-85361-9_15"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Cassel, S., et al.: Active learning for extended finite state machines. Formal Aspects Comput. 28(2), 233\u2013263 (2016). https:\/\/doi.org\/10.1007\/s00165-016-0355-5","DOI":"10.1007\/s00165-016-0355-5"},{"key":"4_CR15","doi-asserted-by":"publisher","unstructured":"Dinca, I., Ipate, F., Stefanescu, A.: Model learning and test generation for Event-B decomposition. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 5th International Conference on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - Volume Part I, ISoLA 2012, Heraklion, Crete, Greece. Springer, Cham (2012). ISBN: 978-3-642-34025-3, https:\/\/doi.org\/10.1007\/978-3-642-34026-0_40","DOI":"10.1007\/978-3-642-34026-0_40"},{"key":"4_CR16","doi-asserted-by":"publisher","unstructured":"Drews, S., D\u2019Antoni, L.: Learning symbolic automata. In: Legay, A., Margaria, T. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, 22\u201329 April 2017, Proceedings, Part I. LNCS, vol. 10205, pp. 173\u2013189. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-662-54577-5_10","DOI":"10.1007\/978-3-662-54577-5_10"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Ferreira, T., et al.: Prognosis: closed-box analysis of network protocol implementations. In: SIGCOMM, pp. 762\u2013774. ACM (2021)","DOI":"10.1145\/3452296.3472938"},{"key":"4_CR18","doi-asserted-by":"publisher","unstructured":"Fiterau-Brostean, P., Janssen, R., Vaandrager, F.W.: Combining model learning and model checking to analyze TCP implementations. In: Chaudhuri, S., Farzan, A. (eds.) Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, 17\u201323 July 2016, Proceedings, Part II, pp. 454\u2013471. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41540-6_25","DOI":"10.1007\/978-3-319-41540-6_25"},{"key":"4_CR19","unstructured":"Fiterau-Brostean, P., et al.: Analysis of DTLS implementations using protocol state fuzzing. In: USENIX Security Symposium, pp. 2523\u20132540. USENIX Association (2020)"},{"key":"4_CR20","doi-asserted-by":"publisher","unstructured":"Fiterau-Brostean, P., et al.: Model learning and model checking of SSH implementations. In: Erdogmus, H., Havelund, K. (eds.) Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, 10\u201314 July 2017, pp. 142\u2013151. ACM (2017). https:\/\/doi.org\/10.1145\/3092282.3092289","DOI":"10.1145\/3092282.3092289"},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Frohme, M., Steffen, B.: Compositional learning of mutually recursive procedural systems. Int. J. Softw. Tools Technol. Transf. 23, 521\u2013543 (2021). https:\/\/doi.org\/10.1007\/s10009-021-00634-y","DOI":"10.1007\/s10009-021-00634-y"},{"key":"4_CR22","doi-asserted-by":"publisher","unstructured":"Howar, F., Steffen, B.: Active automata learning as black-box search and lazy partition refinement. In: Jansen, N., Stoelinga, M., van den Bos, P. (eds.) A Journey from Process Algebra via Timed Automata to Model Learning. LNCS, vol. 13560, pp. 321\u2013338. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15629-8_17","DOI":"10.1007\/978-3-031-15629-8_17"},{"key":"4_CR23","doi-asserted-by":"publisher","unstructured":"Isberner, M., Howar, F., Steffen, B.: Inferring automata with state-local alphabet abstractions. In: Brat, G., Rungta, N., Venet, A. (eds.) NASA Formal Methods, pp. 124\u2013138. Springer, Heidelberg (2013). ISBN: 978-3-642-38088-4, https:\/\/doi.org\/10.1007\/978-3-642-38088-4_9","DOI":"10.1007\/978-3-642-38088-4_9"},{"key":"4_CR24","doi-asserted-by":"publisher","unstructured":"Isberner, M., Howar, F., Steffen, B.: The open-source LearnLib. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) Computer Aided Verification, pp. 487\u2013495. Springer, Cham (2015). ISBN 978-3-319-21690-4, https:\/\/doi.org\/10.1007\/978-3-319-21690-4_32","DOI":"10.1007\/978-3-319-21690-4_32"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-319-11164-3_26","volume-title":"Runtime Verification","author":"M Isberner","year":"2014","unstructured":"Isberner, M., Howar, F., Steffen, B.: The TTT algorithm: a redundancy-free approach to active automata learning. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 307\u2013322. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11164-3_26"},{"key":"4_CR26","doi-asserted-by":"publisher","unstructured":"Khmelnitsky, I., et al.: Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. 25(3), 341\u2013354 (2023). ISSN: 1433-2787, https:\/\/doi.org\/10.1007\/s10009-022-00684-w","DOI":"10.1007\/s10009-022-00684-w"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-319-63121-9_8","volume-title":"Models, Algorithms, Logics and Tools","author":"O Maler","year":"2017","unstructured":"Maler, O., Mens, I.-E.: A generic algorithm for learning symbolic automata from membership queries. In: Aceto, L., Bacci, G., Bacci, G., Ing\u00f3lfsd\u00f3ttir, A., Legay, A., Mardare, R. (eds.) Models, Algorithms, Logics and Tools. LNCS, vol. 10460, pp. 146\u2013169. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63121-9_8"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Meinke, K.: Active machine learning to test autonomous driving. In: ICST Workshops, p. 286. IEEE (2021)","DOI":"10.1109\/ICSTW52544.2021.00055"},{"key":"4_CR29","doi-asserted-by":"publisher","unstructured":"Neubauer, J., et al.: Automated continuous quality assurance. In: FormSERA 2012 at ICSE 2012, pp. 37\u201343. IEEE (2012). https:\/\/doi.org\/10.1109\/FormSERA.2012.6229787","DOI":"10.1109\/FormSERA.2012.6229787"},{"issue":"3","key":"4_CR30","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.entcs.2005.02.062","volume":"138","author":"O Grinchtein","year":"2005","unstructured":"Grinchtein, O., Jonsson, B., Leucker, M.: Inference of timed transition systems. Electron. Notes Theor. Comput. Sci. 138(3), 87\u201399 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"4_CR31","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s10703-023-00425-y","volume":"61","author":"A Pferscher","year":"2022","unstructured":"Pferscher, A., Aichernig, B.K.: Fingerprinting and analysis of Bluetooth devices with automata learning. Formal Methods Syst. Des. 61(1), 35\u201362 (2022)","journal-title":"Formal Methods Syst. Des."},{"key":"4_CR32","doi-asserted-by":"publisher","unstructured":"Pietrantuono, R., et al.: Towards continuous software reliability testing in DevOps. In: 2019 IEEE\/ACM 14th International Workshop on Automation of Software Test (AST), pp. 21\u201327 (2019). https:\/\/doi.org\/10.1109\/AST.2019.00009","DOI":"10.1109\/AST.2019.00009"},{"key":"4_CR33","doi-asserted-by":"publisher","unstructured":"Raffelt, H., Steffen, B.: LearnLib: a library for automata learning and experimentation. In: Baresi, L., Heckel, R. (eds.) Fundamental Approaches to Software Engineering, FASE 2006, pp. 377\u2013380. Springer, Cham (2006). ISBN: 978-3-540-33094-3, https:\/\/doi.org\/10.1007\/11693017_28","DOI":"10.1007\/11693017_28"},{"key":"4_CR34","doi-asserted-by":"publisher","unstructured":"Raffelt, H., et al.: LearnLib: a framework for extrapolating behavioral models. Int. J. Softw. Tools Technol. Transf. 11(5), 393\u2013407 (2009). ISSN: 1433-2779, https:\/\/doi.org\/10.1007\/s10009-009-0111-8","DOI":"10.1007\/s10009-009-0111-8"},{"key":"4_CR35","doi-asserted-by":"publisher","unstructured":"Shahbaz, M., Groz, R.: Analysis and testing of blackbox component-based systems by inferring partial models. Softw. Test. Verif. Reliab. 24(4), 253\u2013288 (2014). ISSN: 0960-0833, https:\/\/doi.org\/10.1002\/stvr.1491","DOI":"10.1002\/stvr.1491"},{"key":"4_CR36","doi-asserted-by":"publisher","unstructured":"Sun, J., et al.: TLV: abstraction through testing, learning, and validation. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2015, Bergamo, Italy, pp. 698\u2013709. ACM (2015). ISBN: 978-1-4503-3675-8, https:\/\/doi.org\/10.1145\/2786805.2786817","DOI":"10.1145\/2786805.2786817"},{"key":"4_CR37","doi-asserted-by":"publisher","unstructured":"Vaandrager, F.W.: On the relationship between process algebra and input\/output automata. In: [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp. 387\u2013398, July 1991. https:\/\/doi.org\/10.1109\/LICS.1991.151662","DOI":"10.1109\/LICS.1991.151662"},{"key":"4_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-642-34691-0_2","volume-title":"Testing Software and Systems","author":"F Vaandrager","year":"2012","unstructured":"Vaandrager, F.: Active learning of extended finite state machines. In: Nielsen, B., Weise, C. (eds.) ICTSS 2012. LNCS, vol. 7641, pp. 5\u20137. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34691-0_2"},{"key":"4_CR39","doi-asserted-by":"publisher","unstructured":"Vaandrager, F.W.: Model learning. Commun. ACM 60(2), 86\u201395 (2017). https:\/\/doi.org\/10.1145\/2967606","DOI":"10.1145\/2967606"},{"key":"4_CR40","doi-asserted-by":"publisher","unstructured":"Vaandrager, F.W., Bloem, R., Ebrahimi, M.: Learning Mealy machines with one timer. In: Leporati, A. et al. (eds.) Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, 1\u20135 March 2021, Proceedings. LNCS, vol. 12638, pp. 157\u2013170. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-68195-1_13","DOI":"10.1007\/978-3-030-68195-1_13"},{"key":"4_CR41","doi-asserted-by":"publisher","unstructured":"Vaandrager, F.W., et al.: A new approach for active automata learning based on apartness. In: Fisman, D., Rosu, G. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, 2\u20137 April 2022, Proceedings, Part I. LNCS, vol. 13243, pp. 223\u2013243. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99524-9_12","DOI":"10.1007\/978-3-030-99524-9_12"},{"key":"4_CR42","doi-asserted-by":"publisher","unstructured":"Waja, G., Shah, J., Nanavati, P.: Agile software development. Int. J. Eng. Appl. Sci. Technol. 5, 73\u201378 (2021). https:\/\/doi.org\/10.33564\/IJEAST.2021.v05i12.011","DOI":"10.33564\/IJEAST.2021.v05i12.011"},{"key":"4_CR43","doi-asserted-by":"publisher","unstructured":"Xu, R., An, J., Zhan, B.: Active learning of one-clock timed automata using constraint solving. In: Bouajjani, A., Hol\u00edk, L., Wu, Z. (eds.) Automated Technology for Verification and Analysis, ATVA 2022. LNCS, vol. 13505, pp. 249\u2013265. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19992-9_16","DOI":"10.1007\/978-3-031-19992-9_16"}],"container-title":["Lecture Notes in Computer Science","Principles of Verification: Cycling the Probabilistic Landscape"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75778-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,17]],"date-time":"2024-11-17T13:02:24Z","timestamp":1731848544000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75778-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,18]]},"ISBN":["9783031757778","9783031757785"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75778-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11,18]]},"assertion":[{"value":"18 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}