{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T18:19:28Z","timestamp":1784830768917,"version":"3.55.0"},"publisher-location":"Cham","reference-count":82,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031986840","type":"print"},{"value":"9783031986857","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,7,23]],"date-time":"2025-07-23T00:00:00Z","timestamp":1753228800000},"content-version":"vor","delay-in-days":203,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>In 2015, LearnLib, the open-source framework for active automata learning, received the prestigious CAV artifact award. This paper presents the advancements made since then, highlighting significant additions to LearnLib, including state-of-the-art algorithms, novel learning paradigms, and increasingly expressive models. Our efforts to mature and maintain LearnLib have resulted in its widespread use among researchers and practitioners alike. A key factor in its success is the achieved compositionality which allows users to effortlessly construct thousands of customized learning processes tailored to their specific requirements. This paper illustrates these features through the development of a learning process for the life-long learning of procedural systems. This development can be easily replicated and modified using the latest public release of LearnLib.<\/jats:p>","DOI":"10.1007\/978-3-031-98685-7_7","type":"book-chapter","created":{"date-parts":[[2025,7,22]],"date-time":"2025-07-22T03:31:50Z","timestamp":1753155110000},"page":"141-160","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["LearnLib: 10 years later"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6520-2410","authenticated-orcid":false,"given":"Markus","family":"Frohme","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9524-4459","authenticated-orcid":false,"given":"Falk","family":"Howar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9619-1558","authenticated-orcid":false,"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,7,23]]},"reference":[{"key":"7_CR1","unstructured":"Fides Aarts. \u201cTomte: bridging the gap between active learning and realworld systems\u201d. PhD thesis. Radboud Universiteit Nijmegen, Netherlands, Oct. 2014. doi:https:\/\/doi.org\/2066\/130428."},{"key":"7_CR2","doi-asserted-by":"publisher","unstructured":"Fides Aarts, Joeri de Ruiter, and Erik Poll. \u201cFormal Models of Bank Cards for Free\u201d. In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013. IEEE Computer Society, 2013, pp. 461\u2013468. doi:https:\/\/doi.org\/10.1109\/ICSTW.2013.60.","DOI":"10.1109\/ICSTW.2013.60"},{"key":"7_CR3","doi-asserted-by":"publisher","unstructured":"Fides Aarts, Julien Schmaltz, and Frits W. Vaandrager. \u201cInference and Abstraction of the Biometric Passport\u201d. In: Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I. Ed. by Tiziana Margaria and Bernhard Steffen. Vol. 6415. Lecture Notes in Computer Science. Springer, 2010, pp. 673\u2013686. doi:https:\/\/doi.org\/10.1007\/978-3-642-16558-0_54.","DOI":"10.1007\/978-3-642-16558-0_54"},{"key":"7_CR4","doi-asserted-by":"publisher","unstructured":"Fides Aarts et al. \u201cGenerating models of infinite-state communication protocols using regular inference with abstraction\u201d. In: Formal Methods Syst. Des. 46.1 (2015), pp. 1\u201341. doi:https:\/\/doi.org\/10.1007\/s10703-014-0216-x.","DOI":"10.1007\/s10703-014-0216-x"},{"key":"7_CR5","doi-asserted-by":"publisher","unstructured":"Bernhard K. Aichernig, Christian Burghard, and Robert Korosec. \u201cLearning- Based Testing of an Industrial Measurement Device\u201d. In: NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Ed. by Julia M. Badger and Kristin Yvonne Rozier. Vol. 11460. Lecture Notes in Computer Science. Springer, 2019, pp. 1\u201318. doi:https:\/\/doi.org\/10.1007\/978-3-030-20652-9_1.","DOI":"10.1007\/978-3-030-20652-9_1"},{"key":"7_CR6","doi-asserted-by":"publisher","unstructured":"Bernhard K. Aichernig and Martin Tappler. \u201cEfficient Active Automata Learning via Mutation Testing\u201d. In: J. Autom. Reason. 63.4 (2019), pp. 1103\u2013 1134. doi:https:\/\/doi.org\/10.1007\/s10817-018-9486-0.","DOI":"10.1007\/s10817-018-9486-0."},{"key":"7_CR7","doi-asserted-by":"publisher","unstructured":"Bernhard K. Aichernig et al. \u201cLearning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning\u201d. In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings. Ed. by Christophe Gaston, Nikolai Kosmatov, and Pascale Le Gall. Vol. 11812. Lecture Notes in Computer Science. Springer, 2019, pp. 3\u201321. doi:https:\/\/doi.org\/10.1007\/978-3-030-31280-0_1.","DOI":"10.1007\/978-3-030-31280-0_1"},{"key":"7_CR8","doi-asserted-by":"publisher","unstructured":"Rajeev Alur and P. Madhusudan. \u201cVisibly pushdown languages\u201d. In: Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, IL, USA, June 13-16, 2004. Ed. by L\u00e1szl\u00f3 Babai. ACM, 2004, pp. 202\u2013211. doi:https:\/\/doi.org\/10.1145\/1007352.1007390.","DOI":"10.1145\/1007352.1007390"},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"Dana Angluin. \u201cLearning Regular Sets from Queries and Counterexamples\u201d. In: Information and Computation 75.2 (1987), pp. 87\u2013106. doi:https:\/\/doi.org\/10.1016\/0890-5401(87)90052-6.","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"7_CR10","doi-asserted-by":"publisher","unstructured":"Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene. \u201cRegular Expression Learning with Evolutionary Testing and Repair\u201d. In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings. Ed. by Christophe Gaston, Nikolai Kosmatov, and Pascale Le Gall. Vol. 11812. Lecture Notes in Computer Science. Springer, 2019, pp. 22\u201340. doi:https:\/\/doi.org\/10.1007\/978-3-030-31280-0_2.","DOI":"10.1007\/978-3-030-31280-0_2"},{"key":"7_CR11","unstructured":"Denis Arrivault et al. \u201cSp2Learn: A Toolbox for the Spectral Learning of Weighted Automata\u201d. In: Proceedings of the 13th International Conference on Grammatical Inference, ICGI 2016, Delft, The Netherlands, October 5-7, 2016. Ed. by Sicco Verwer, Menno van Zaanen, and Rick Smetsers. Vol. 57. JMLR Workshop and Conference Proceedings. JMLR.org, 2016, pp. 105\u2013119. url:http:\/\/proceedings.mlr.press\/v57\/arrivault16.html."},{"key":"7_CR12","doi-asserted-by":"publisher","unstructured":"Kousar Aslam et al. \u201cInterface protocol inference to aid understanding legacy software components\u201d. In: Softw. Syst. Model. 19.6 (2020), pp. 1519\u2013 1540. doi:https:\/\/doi.org\/10.1007\/s10270-020-00809-2.","DOI":"10.1007\/s10270-020-00809-2"},{"key":"7_CR13","doi-asserted-by":"publisher","unstructured":"Alexander Bainczyk et al. \u201cALEX: Mixed-Mode Learning of Web Applications at Ease\u201d. In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Ed. by Tiziana Margaria and Bernhard Steffen. Vol. 9953. Lecture Notes in Computer Science. 2016, pp. 655\u2013671. doi:https:\/\/doi.org\/10.1007\/978-3-319-47169-3_51.","DOI":"10.1007\/978-3-319-47169-3_51"},{"key":"7_CR14","unstructured":"Mohamad Bayram. \u201cMoore-basierte Anfragen zur Query-Optimierung beim aktiven Automatenlernen\u201d. In german. Bachelor\u2019s thesis. TU Dortmund University, 2022."},{"key":"7_CR15","unstructured":"Antonia Bertolino et al. \u201cNever-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring\u201d. In: ERCIM News 2012.88 (2012). url:http:\/\/ercim-news.ercim.eu\/en88\/special\/never-stop-learning-continuous-validation-of-learned-models-for-evolving-systems-through-monitoring."},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Benedikt Bollig et al. \u201clibalf: The Automata Learning Framework\u201d. In:Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Ed. by Tayssir Touili, Byron Cook, and Paul B. Jackson. Vol. 6174. Lecture Notes in Computer Science. Springer, 2010, pp. 360\u2013364. doi:https:\/\/doi.org\/10.1007\/978-3-642-14295-6_32.","DOI":"10.1007\/978-3-642-14295-6_32"},{"key":"7_CR17","doi-asserted-by":"publisher","unstructured":"V\u00e9ronique Bruy\u00e8re, Guillermo A. P\u00e9rez, and Ga\u00ebtan Staquet. \u201cLearning Realtime One-Counter Automata\u201d. In: 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, April 2-7, 2022, Proceedings, Part I. Ed. by Dana Fisman and Grigore Rosu. Vol. 13243. Lecture Notes in Computer Science. Springer, 2022, pp. 244\u2013262. doi:https:\/\/doi.org\/10.1007\/978-3-030-99524-9_13.","DOI":"10.1007\/978-3-030-99524-9_13"},{"key":"7_CR18","doi-asserted-by":"publisher","unstructured":"V\u00e9ronique Bruy\u00e8re, Guillermo A. P\u00e9rez, and Ga\u00ebtan Staquet. \u201cValidating Streaming JSON Documents with Learned VPAs\u201d. In: Tools and Algorithms for the Construction nd Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. Ed. by Sriram Sankaranarayanan and Natasha Sharygina. Vol. 13993. Lecture Notes in Computer Science. Springer, 2023, pp. 271\u2013289. doi:https:\/\/doi.org\/10.1007\/978-3-031-30823-9_14.","DOI":"10.1007\/978-3-031-30823-9_14"},{"key":"7_CR19","unstructured":"Sofia Cassel, Falk Howar, and Bengt Jonsson. \u201cRALib: A LearnLib extension for inferring EFSMs\u201d. In: DIFTS 5 (2015)."},{"key":"7_CR20","doi-asserted-by":"publisher","unstructured":"Chia Yuan Cho et al. \u201cInference and analysis of formal models of botnet command and control protocols\u201d. In: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010. Ed. by Ehab Al-Shaer, Angelos D. Keromytis, and Vitaly Shmatikov. ACM, 2010, pp. 426\u2013439. doi:https:\/\/doi.org\/10.1145\/1866307.1866355.","DOI":"10.1145\/1866307.1866355"},{"key":"7_CR21","doi-asserted-by":"publisher","unstructured":"Tsun S. Chow. \u201cTesting Software Design Modeled by Finite-State Machines\u201d. In: IEEE Transactions on Software Engineering 4.3 (1978), pp. 178\u2013 187. doi:https:\/\/doi.org\/10.1109\/TSE.1978.231496.","DOI":"10.1109\/TSE.1978.231496"},{"key":"7_CR22","doi-asserted-by":"publisher","unstructured":"Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, and Adenilso da Silva Sim\u00e3o. \u201cLearning by sampling: learning behavioral family models from software product lines\u201d. In: Empir. Softw. Eng. 26.1 (2021), p. 4. doi:https:\/\/doi.org\/10.1007\/s10664-020-09912-w.","DOI":"10.1007\/s10664-020-09912-w"},{"key":"7_CR23","doi-asserted-by":"publisher","unstructured":"Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, and Adenilso da Silva Sim\u00e3o. \u201cLearning to Reuse: Adaptive Model Learning for Evolving Systems\u201d. In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings.Ed. by Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa. Vol. 11918. Lecture Notes in Computer Science. Springer, 2019, pp. 138\u2013156. doi:https:\/\/doi.org\/10.1007\/978-3-030-34968-4_8.","DOI":"10.1007\/978-3-030-34968-4_8"},{"key":"7_CR24","doi-asserted-by":"publisher","unstructured":"Simon Dierl et al. \u201cLearning Symbolic Timed Models from Concrete Timed Data\u201d. In: NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings. Ed. by Kristin Yvonne Rozier and Swarat Chaudhuri. Vol. 13903. Lecture Notes in Computer Science. Springer, 2023, pp. 104\u2013121. doi:https:\/\/doi.org\/10.1007\/978-3-031-33170-1_7.","DOI":"10.1007\/978-3-031-33170-1_7"},{"key":"7_CR25","doi-asserted-by":"publisher","unstructured":"Samuel Drews and Loris D\u2019Antoni. \u201cLearning Symbolic Automata\u201d. In: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, April 22-29, 2017, Proceedings, Part I. Ed. by Axel Legay and Tiziana Margaria. Vol. 10205. Lecture Notes in Computer Science. 2017, pp. 173\u2013189. doi:https:\/\/doi.org\/10.1007\/978-3-662-54577-5_10.","DOI":"10.1007\/978-3-662-54577-5_10"},{"key":"7_CR26","doi-asserted-by":"publisher","unstructured":"Tiago Ferreira, Gerco van Heerdt, and Alexandra Silva. \u201cTree-Based Adaptive Model Learning\u201d. In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Ed. by Nils Jansen, Mari\u00eblle Stoelinga, and Petra van den Bos. Vol. 13560. Lecture Notes in Computer Science. Springer, 2022, pp. 164\u2013179. doi:https:\/\/doi.org\/10.1007\/978-3-031-15629-8_10.","DOI":"10.1007\/978-3-031-15629-8_10"},{"key":"7_CR27","doi-asserted-by":"publisher","unstructured":"Tiago Ferreira et al. \u201cConflict-Aware Active Automata Learning\u201d. In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023. Ed. by Antonis Achilleos and Dario Della Monica. Vol. 390. EPTCS. 2023, pp. 150\u2013167. doi:https:\/\/doi.org\/10.4204\/EPTCS.390.10.","DOI":"10.4204\/EPTCS.390.10"},{"key":"7_CR28","doi-asserted-by":"publisher","unstructured":"Tiago Ferreira et al. \u201cPrognosis: closed-box analysis of network protocol implementations\u201d. In: ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021. Ed. by Fernando A. Kuipers and Matthew C. Caesar. ACM, 2021, pp. 762\u2013774. doi:https:\/\/doi.org\/10.1145\/3452296.3472938.","DOI":"10.1145\/3452296.3472938"},{"key":"7_CR29","doi-asserted-by":"publisher","unstructured":"Paul Fiterau-Brostean, Ramon Janssen, and Frits W. Vaandrager. \u201cCombining Model Learning and Model Checking to Analyze TCP Implementations\u201d. In: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II. Ed. by Swarat Chaudhuri and Azadeh Farzan. Vol. 9780. Lecture Notes in Computer Science. Springer, 2016, pp. 454\u2013471. doi:https:\/\/doi.org\/10.1007\/978-3-319-41540-6_25.","DOI":"10.1007\/978-3-319-41540-6_25"},{"key":"7_CR30","doi-asserted-by":"publisher","unstructured":"Paul Fiterau-Brostean et al. \u201cDTLS-Fuzzer: A DTLS Protocol State Fuzzer\u201d. In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022. IEEE, 2022, pp. 456\u2013458. doi:https:\/\/doi.org\/10.1109\/ICST53961.2022.00051.","DOI":"10.1109\/ICST53961.2022.00051"},{"key":"7_CR31","doi-asserted-by":"publisher","unstructured":"Paul Fiterau-Brostean et al. \u201cModel learning and model checking of SSH implementations\u201d. In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. Ed. by Hakan Erdogmus and Klaus Havelund. ACM, 2017, pp. 142\u2013151. doi:https:\/\/doi.org\/10.1145\/3092282.3092289.","DOI":"10.1145\/3092282.3092289"},{"key":"7_CR32","doi-asserted-by":"publisher","unstructured":"Paul Fiteru-Brotean and Falk Howar. \u201cLearning-Based Testing the Sliding Window Behavior of TCP Implementations\u201d. In: Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICSAVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings. Ed. by Laure Petrucci, Cristina Seceleanu, and Ana Cavalcanti. Vol. 10471. Lecture Notes in Computer Science. Springer, 2017, pp. 185\u2013200. doi:https:\/\/doi.org\/10.1007\/978-3-319-67113-0_12.","DOI":"10.1007\/978-3-319-67113-0_12"},{"key":"7_CR33","unstructured":"Markus Frohme. \u201cActive Automata Learning with Adaptive Distinguishing Sequences\u201d. In: CoRRabs\/1902.01139 (2019). arXiv: http:\/\/arxiv.org\/abs\/1902.01139."},{"key":"7_CR34","doi-asserted-by":"publisher","unstructured":"Markus Frohme. \u201cModel-based quality assurance of intrumented contextfree systems\u201d. PhD thesis. Technical University of Dortmund, Germany, 2023. doi:https:\/\/doi.org\/10.17877\/DE290R-24032.","DOI":"10.17877\/DE290R-24032"},{"key":"7_CR35","doi-asserted-by":"publisher","unstructured":"Markus Frohme and Bernhard Steffen. \u201cCompositional learning of mutually recursive procedural systems\u201d. In: Int. J. Softw. Tools Technol. Transf. 23.4 (2021), pp. 521\u2013543. doi:https:\/\/doi.org\/10.1007\/s10009-021-00634-y.","DOI":"10.1007\/s10009-021-00634-y"},{"key":"7_CR36","doi-asserted-by":"publisher","unstructured":"Markus Frohme and Bernhard Steffen. \u201cFrom Languages to Behaviors and Back\u201d. In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Ed. by Nils Jansen, Mari\u00eblle Stoelinga, and Petra van den Bos. Vol. 13560. Lecture Notes in Computer Science. Springer, 2022, pp. 180\u2013200. doi:https:\/\/doi.org\/10.1007\/978-3-031-15629-8_11.","DOI":"10.1007\/978-3-031-15629-8_11"},{"key":"7_CR37","doi-asserted-by":"publisher","unstructured":"Susumu Fujiwara et al. \u201cTest Selection Based on Finite State Models\u201d. In:IEEE Transactions on Software Engineering 17.6 (1991), pp. 591\u2013603. doi:https:\/\/doi.org\/10.1109\/32.87284.","DOI":"10.1109\/32.87284"},{"key":"7_CR38","unstructured":"Maren Geske. \u201cImplementation and performance evaluation of an active learning algorithm for visible state-local alphabets\u201d. Master\u2019s thesis. TU Dortmund University, 2018."},{"key":"7_CR39","doi-asserted-by":"publisher","unstructured":"Dennis Hendriks and Kousar Aslam. \u201cA Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool\u201d. In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II. Ed. by Tiziana Margaria and Bernhard Steffen. Vol. 13702. Lecture Notes in Computer Science. Springer, 2022, pp. 216\u2013236. doi:https:\/\/doi.org\/10.1007\/978-3-031-19756-7_13.","DOI":"10.1007\/978-3-031-19756-7_13"},{"key":"7_CR40","doi-asserted-by":"publisher","unstructured":"Falk Howar. \u201cActive Learning of Interface Programs\u201d. PhD thesis. TU Dortmund University, 2012. doi:https:\/\/doi.org\/10.17877\/DE290R-4817.","DOI":"10.17877\/DE290R-4817"},{"key":"7_CR41","doi-asserted-by":"publisher","unstructured":"Falk Howar and Bernhard Steffen. \u201cActive Automata Learning as Black- Box Search and Lazy Partition Refinement\u201d. In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Ed. by Nils Jansen, Mari\u00eblle Stoelinga, and Petra van den Bos. Vol. 13560. Lecture Notes in Computer Science. Springer, 2022, pp. 321\u2013338. doi:https:\/\/doi.org\/10.1007\/978-3-031-15629-8_17.","DOI":"10.1007\/978-3-031-15629-8_17"},{"key":"7_CR42","doi-asserted-by":"publisher","unstructured":"Falk Howar, Bernhard Steffen, and Maik Merten. \u201cAutomata Learning with Automated Alphabet Abstraction Refinement\u201d. In: Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings. Ed. by Ranjit Jhala and David A. Schmidt. Vol. 6538. Lecture Notes in Computer Science. Springer, 2011, pp. 263\u2013277. doi:https:\/\/doi.org\/10.1007\/978-3-642-18275-4_19.","DOI":"10.1007\/978-3-642-18275-4_19"},{"key":"7_CR43","doi-asserted-by":"publisher","unstructured":"Falk Howar et al. \u201cThe Teachers\u2019 Crowd: The Impact of Distributed Oracles on Active Automata Learning\u201d. In: Leveraging Applications of Formal Methods, Verification, and Validation - nternational Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, ctober 17-18, 2011. Revised Selected Papers. Ed. by Reiner H\u00e4hnle et al. Vol. 336. Communications in Computer and Information Science. Springer, 2011, pp. 232\u2013247. doi:https:\/\/doi.org\/10.1007\/978-3-642-34781-8_18.","DOI":"10.1007\/978-3-642-34781-8_18"},{"key":"7_CR44","unstructured":"Malte Isberner. \u201cFoundations of active automata learning: an algorithmic perspective\u201d. PhD thesis. Technical University Dortmund, Germany, 2015. url: https:\/\/hdl.handle.net\/2003\/34282."},{"key":"7_CR45","doi-asserted-by":"publisher","unstructured":"Malte Isberner, Falk Howar, and Bernhard Steffen. \u201cThe Open-Source LearnLib - A Framework for Active Automata Learning\u201d. In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. Ed. by Daniel Kroening and Corina S. Pasareanu. Vol. 9206. Lecture Notes in Computer Science. Springer, 2015, pp. 487\u2013495. doi:https:\/\/doi.org\/10.1007\/978-3-319-21690-4_32.","DOI":"10.1007\/978-3-319-21690-4_32"},{"key":"7_CR46","doi-asserted-by":"publisher","unstructured":"Malte Isberner, Falk Howar, and Bernhard Steffen. \u201cThe Open-Source LearnLib - A Framework for Active Automata Learning\u201d. In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. Ed. by Daniel Kroening and Corina S. Pasareanu. Vol. 9206. Lecture Notes in Computer Science. Springer, 2015, pp. 487\u2013495. DOI:https:\/\/doi.org\/10.1007\/978-3-319-11164-3_26.","DOI":"10.1007\/978-3-319-11164-3_26"},{"key":"7_CR47","doi-asserted-by":"publisher","unstructured":"Val\u00e9rie Issarny et al. \u201cCONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems\u201d. In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009. IEEE Computer Society, 2009, pp. 154\u2013 161. doi:https:\/\/doi.org\/10.1109\/ICECCS.2009.44.","DOI":"10.1109\/ICECCS.2009.44"},{"key":"7_CR48","doi-asserted-by":"publisher","unstructured":"Gijs Kant et al. \u201cLTSmin: High-Performance Language-Independent Model Checking\u201d. In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Ed. by Christel Baier and Cesare Tinelli. Vol. 9035. Lecture Notes in Computer Science. Springer, 2015, pp. 692\u2013707. doi:https:\/\/doi.org\/10.1007\/978-3-662-46681-0_61.","DOI":"10.1007\/978-3-662-46681-0_61"},{"key":"7_CR49","unstructured":"Ali Khalili and Armando Tacchella. \u201cLearning Nondeterministic Mealy Machines\u201d. In: Proceedings of the 12th International Conference on Grammatical Inference, ICGI 2014, Kyoto, Japan, September 17-19, 2014. Ed. by Alexander Clark, Makoto Kanazawa, and Ryo Yoshinaka. Vol. 34. JMLR Workshop and Conference Proceedings. JMLR.org, 2014, pp. 109\u2013123. url: http:\/\/proceedings.mlr.press\/v34\/khalili14a.html."},{"key":"7_CR50","doi-asserted-by":"publisher","unstructured":"Paul Kogel, Verena Kl\u00f6s, and Sabine Glesner. \u201cTTT\/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter\u201d. In:Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24- 27, 2022, Proceedings. Ed. by Adri\u00e1n Riesco and Min Zhang. Vol. 13478. Lecture Notes in Computer Science. Springer, 2022, pp. 227\u2013243. doi:https:\/\/doi.org\/10.1007\/978-3-031-17244-1_14.","DOI":"10.1007\/978-3-031-17244-1_14"},{"key":"7_CR51","doi-asserted-by":"publisher","unstructured":"Martin K\u00f6lbl, Stefan Leue, and Thomas Wies. \u201cTarTar: A Timed Automata Repair Tool\u201d. In: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I. Ed. by Shuvendu K. Lahiri and ChaoWang. Vol. 12224. Lecture Notes in Computer Science. Springer, 2020, pp. 529\u2013540. doi:https:\/\/doi.org\/10.1007\/978-3-030-53288-8_25.","DOI":"10.1007\/978-3-030-53288-8_25"},{"key":"7_CR52","doi-asserted-by":"publisher","unstructured":"Eric Lesiuta, Victor Bandur, and Mark Lawford. \u201cSLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection\u201d. In:Computer Security. ESORICS 2022 International Workshops - CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT &SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers. Ed. by Sokratis K. Katsikas et al. Vol. 13785. Lecture Notes in Computer Science. Springer, 2022, pp. 686\u2013 704. doi:https:\/\/doi.org\/10.1007\/978-3-031-25460-4_39.","DOI":"10.1007\/978-3-031-25460-4_39"},{"key":"7_CR53","doi-asserted-by":"publisher","unstructured":"Yong Li et al. \u201cA Novel Learning Algorithm for B\u00fcchi Automata Based on Family of DFAs and Classification Trees\u201d. In: 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, April 22-29, 2017, Proceedings, Part I. Ed. by Axel Legay and Tiziana Margaria. Vol. 10205. Lecture Notes in Computer Science. 2017, pp. 208\u2013226. doi:https:\/\/doi.org\/10.1007\/978-3-662-54577-5_12.","DOI":"10.1007\/978-3-662-54577-5_12"},{"key":"7_CR54","doi-asserted-by":"publisher","unstructured":"Tiziana Margaria and Alexander Schieweck. \u201cTowards Engineering Digital Twins by Active Behaviour Mining\u201d. In: Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Ed. by Ernst-R\u00fcdiger Olderog, Bernhard Steffen, and Wang Yi. Vol. 13030. Lecture Notes in Computer Science. Springer, 2021, pp. 138\u2013 163. doi:https:\/\/doi.org\/10.1007\/978-3-030-91384-7_8.","DOI":"10.1007\/978-3-030-91384-7_8"},{"key":"7_CR55","doi-asserted-by":"publisher","unstructured":"Stefan Marksteiner, Peter Priller, and Markus Wolf. \u201cApproaches for Automating Cybersecurity Testing of Connected Vehicles\u201d. In: Intelligent Secure Trustable Things. Ed. by Michael Karner et al. Cham: Springer Nature Switzerland, 2024, pp. 219\u2013234. doi:https:\/\/doi.org\/10.1007\/978-3-031-54049-3_13.","DOI":"10.1007\/978-3-031-54049-3_13"},{"key":"7_CR56","doi-asserted-by":"publisher","unstructured":"Stefan Marksteiner, Marjan Sirjani, and Mikael Sj\u00f6din. \u201cUsing Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example\u201d. In: Engineering of Computer-Based Systems - 8th International Conference,ECBS 2023, V\u00e4ster\u00e5s, Sweden, October 16- 18, 2023, Proceedings. Ed. by Jan Kofron, Tiziana Margaria, and Cristina Seceleanu. Vol. 14390. Lecture Notes in Computer Science. Springer, 2023, pp. 170\u2013190. doi:https:\/\/doi.org\/10.1007\/978-3-031-49252-5_13.","DOI":"10.1007\/978-3-031-49252-5_13"},{"key":"7_CR57","doi-asserted-by":"publisher","unstructured":"Jeroen Meijer and Jaco van de Pol. \u201cSound Black-Box Checking in the LearnLib\u201d. In: NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Ed. by Aaron Dutle, C\u00e9sar A. Mu\u00f1oz, and Anthony Narkawicz. Vol. 10811. Lecture Notes in Computer Science. Springer, 2018, pp. 349\u2013366. doi:https:\/\/doi.org\/10.1007\/978-3-319-77935-5_24.","DOI":"10.1007\/978-3-319-77935-5_24"},{"key":"7_CR58","doi-asserted-by":"publisher","unstructured":"Edward F. Moore. \u201cGedanken-Experiments on Sequential Machines\u201d. In:Automata Studies. Ed. by C. E. Shannon and J. McCarthy. Princeton: Princeton University Press, 1956, pp. 129\u2013154. doi:https:\/\/doi.org\/10.1515\/9781400882618-006.","DOI":"10.1515\/9781400882618-006"},{"key":"7_CR59","doi-asserted-by":"publisher","unstructured":"Edi Muskardin et al. \u201cAALpy: An Active Automata Learning Library\u201d. In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18- 22, 2021, Proceedings. Ed. by Zhe Hou and Vijay Ganesh. Vol. 12971. Lecture Notes in Computer Science. Springer, 2021, pp. 67\u201373. doi:https:\/\/doi.org\/10.1007\/978-3-030-88885-5_5.","DOI":"10.1007\/978-3-030-88885-5_5"},{"key":"7_CR60","doi-asserted-by":"publisher","unstructured":"Thomas Neele and Matteo Sammartino. \u201cCompositional Automata Learning of Synchronous Systems\u201d. In: Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Ed. by Leen Lambers and Sebasti\u00e1n Uchitel. Vol. 13991. Lecture Notes in Computer Science. Springer, 2023, pp. 47\u201366. doi:https:\/\/doi.org\/10.1007\/978-3-031-30826-0_3.","DOI":"10.1007\/978-3-031-30826-0_3"},{"key":"7_CR61","doi-asserted-by":"publisher","unstructured":"Jos\u00e9 Oncina and Pedro Garc\u00eda. \u201cInferring regular languages in polynomial update time\u201d. In: World Scientific (Jan. 1992), pp. 49\u201361. doi:https:\/\/doi.org\/10.1142\/9789812797902_0004.","DOI":"10.1142\/9789812797902_0004"},{"key":"7_CR62","doi-asserted-by":"publisher","unstructured":"Jos\u00e9 Oncina, Pedro Garca, and Enrique Vidal. \u201cLearning Subsequential Transducers for Pattern Recognition Interpretation Tasks\u201d. In: IEEE Trans. Pattern Anal. Mach. Intell. 15.5 (1993), pp. 448\u2013458. doi:https:\/\/doi.org\/10.1109\/34.211465.","DOI":"10.1109\/34.211465"},{"key":"7_CR63","doi-asserted-by":"publisher","unstructured":"Doron Peled, Moshe Y. Vardi, and Mihalis Yannakakis. \u201cBlack Box Checking\u201d. In: Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII \/ PSTV XIX. IFIP Advances in Information and Communication Technology. Ed. by Jianping Wu, Samuel T. Chanson, and Qiang Gao. Boston, MA: Springer US, 1999, pp. 225\u2013240. doi:https:\/\/doi.org\/10.1007\/978-0-387-35578-8_13.","DOI":"10.1007\/978-0-387-35578-8_13"},{"key":"7_CR64","doi-asserted-by":"publisher","unstructured":"Andrea Pferscher and Bernhard K. Aichernig. \u201cFingerprinting Bluetooth Low Energy Devices via Active Automata Learning\u201d. In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20- 26, 2021, Proceedings. Ed. by Marieke Huisman, Corina S. Pasareanu, and Naijun Zhan. Vol. 13047. Lecture Notes in Computer Science. Springer, 2021, pp. 524\u2013542. doi:https:\/\/doi.org\/10.1007\/978-3-030-90870-6_28.","DOI":"10.1007\/978-3-030-90870-6_28"},{"key":"7_CR65","doi-asserted-by":"publisher","unstructured":"Andrea Pferscher and Bernhard K. Aichernig. \u201cLearning Abstracted Nondeterministic Finite State Machines\u201d. In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings. Ed. by Valentina Casola, Alessandra De Benedictis, and Massimiliano Rak. Vol. 12543. Lecture Notes in Computer Science. Springer, 2020, pp. 52\u201369. doi:https:\/\/doi.org\/10.1007\/978-3-030-64881-7_4.","DOI":"10.1007\/978-3-030-64881-7_4"},{"key":"7_CR66","doi-asserted-by":"publisher","unstructured":"Swantje Plambeck, Lutz Schammer, and G\u00f6rschwin Fey. \u201cOn the Viability of Decision Trees for Learning Models of Systems\u201d. In: 27th Asia and South Pacific Design Automation Conference, ASP-DAC 2022, Taipei, Taiwan, January 17-20, 2022. IEEE, 2022, pp. 696\u2013701. doi:https:\/\/doi.org\/10.1109\/ASP-DAC52403.2022.9712579.","DOI":"10.1109\/ASP-DAC52403.2022.9712579"},{"key":"7_CR67","doi-asserted-by":"publisher","unstructured":"Harald Raffelt, Bernhard Steffen, and Tiziana Margaria. \u201cDynamic Testing Via Automata Learning\u201d. In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings. Ed. by Karen Yorav. Vol. 4899. Lecture Notes in Computer Science. Springer, 2007, pp. 136\u2013152. doi:https:\/\/doi.org\/10.1007\/978-3-540-77966-7_13.","DOI":"10.1007\/978-3-540-77966-7_13"},{"key":"7_CR68","unstructured":"Joeri de Ruiter and Erik Poll. \u201cProtocol State Fuzzing of TLS Implementations\u201d. In: 24th USENIX Security Symposium, USENIX Security 15, Washington, D.C., USA, August 12-14, 2015. Ed. by Jaeyeon Jung and Thorsten Holz. USENIX Association, 2015, pp. 193\u2013206. url:https:\/\/www.usenix.org\/conference\/usenixsecurity15\/technical-sessions\/presentation\/de-ruiter."},{"key":"7_CR69","doi-asserted-by":"publisher","unstructured":"Ocan Sankur. \u201cTimed Automata Verification and Synthesis via Finite Automata Learning\u201d. In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II. Ed. by Sriram Sankaranarayanan and Natasha Sharygina. Vol. 13994. Lecture Notes in Computer Science. Springer, 2023, pp. 329\u2013349. doi:https:\/\/doi.org\/10.1007\/978-3-031-30820-8_21.","DOI":"10.1007\/978-3-031-30820-8_21"},{"key":"7_CR70","unstructured":"Muhammad Muzammil Shahbaz. \u201cReverse Engineering Enhanced State Models of Black Box Software Components to support Integration Testing\u201d. PhD thesis. Institut Polytechnique de Grenoble, France, Dec. 2008."},{"key":"7_CR71","doi-asserted-by":"publisher","unstructured":"Junya Shijubo, Masaki Waga, and Kohei Suenaga. \u201cEfficient Black-Box Checking via Model Checking with Strengthened Specifications\u201d. In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings. Ed. by Lu Feng and Dana Fisman. Vol. 12974. Lecture Notes in Computer Science. Springer, 2021, pp. 100\u2013120. doi:https:\/\/doi.org\/10.1007\/978-3-030-88494-9_6.","DOI":"10.1007\/978-3-030-88494-9_6"},{"key":"7_CR72","doi-asserted-by":"publisher","unstructured":"Wouter Smeenk et al. \u201cApplying Automata Learning to Embedded Control Software\u201d. In: Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Ed. by Michael J. Butler, Sylvain Conchon, and Fatiha Za\u00efdi. Vol. 9407. Lecture Notes in Computer Science. Springer, 2015, pp. 67\u201383. doi:https:\/\/doi.org\/10.1007\/978-3-319-25423-4_5.","DOI":"10.1007\/978-3-319-25423-4_5"},{"key":"7_CR73","unstructured":"Rick Smetsers et al. \u201cComplementing Model Learning with Mutation-Based Fuzzing\u201d. In: CoRR abs\/1611.02429 (2016). arXiv: http:\/\/arxiv.org\/abs\/1611.02429."},{"key":"7_CR74","doi-asserted-by":"publisher","unstructured":"Bernhard Steffen, Falk Howar, and Maik Merten. \u201cIntroduction to Active Automata Learning from a Practical Perspective\u201d. In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Ed. by Marco Bernardo and Val\u00e9rie Issarny. Vol. 6659. Lecture Notes in Computer Science. Springer, 2011, pp. 256\u2013296. doi:https:\/\/doi.org\/10.1007\/978-3-642-21455-4_8.","DOI":"10.1007\/978-3-642-21455-4_8"},{"key":"7_CR75","doi-asserted-by":"publisher","unstructured":"Chris McMahon Stone, Tom Chothia, and Joeri de Ruiter. \u201cExtending Automated Protocol State Learning for the 802.11 4-Way Handshake\u201d. In: Computer Security - 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I. Ed. by Javier L\u00f3pez, Jianying Zhou, and Miguel Soriano. Vol. 11098. Lecture Notes in Computer Science. Springer, 2018, pp. 325\u2013 345. doi:https:\/\/doi.org\/10.1007\/978-3-319-99073-6_16.","DOI":"10.1007\/978-3-319-99073-6_16"},{"key":"7_CR76","doi-asserted-by":"publisher","unstructured":"Martin Tappler, Bernhard K. Aichernig, and Roderick Bloem. \u201cModel- Based Testing IoT Communication via Active Automata Learning\u201d. In:2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017. IEEE Computer Society, 2017, pp. 276\u2013287. doi:https:\/\/doi.org\/10.1109\/ICST.2017.32.","DOI":"10.1109\/ICST.2017.32"},{"key":"7_CR77","doi-asserted-by":"publisher","unstructured":"Frits W. Vaandrager, Masoud Ebrahimi, and Roderick Bloem. \u201cLearning Mealy machines with one timer\u201d. In: Inf. Comput. 295.Part B (2023), p. 105013. doi:https:\/\/doi.org\/10.1016\/j.ic.2023.105013.","DOI":"10.1016\/j.ic.2023.105013"},{"key":"7_CR78","doi-asserted-by":"publisher","unstructured":"Frits W. Vaandrager et al. \u201cA New Approach for Active Automata Learning Based on Apartness\u201d. In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International onference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I. Ed. by Dana Fisman and Grigore Rosu. Vol. 13243. Lecture Notes in Computer Science. Springer, 2022, pp. 223\u2013243. doi:https:\/\/doi.org\/10.1007\/978-3-030-99524-9_12.","DOI":"10.1007\/978-3-030-99524-9_12"},{"key":"7_CR79","doi-asserted-by":"publisher","unstructured":"Pepe Vila et al. \u201cCacheQuery: learning replacement policies from hardware caches\u201d. In: Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020. Ed. by Alastair F. Donaldson and Emina Torlak. ACM, 2020, pp. 519\u2013532. doi:https:\/\/doi.org\/10.1145\/3385412.3386008.","DOI":"10.1145\/3385412.3386008"},{"key":"7_CR80","unstructured":"Leon Vitorovic. \u201cQuery-Parallelisierung des ADT Learners in der Learn-Lib\u201d. In german. Bachelor\u2019s thesis. TU Dortmund University, 2024."},{"key":"7_CR81","doi-asserted-by":"publisher","unstructured":"Masaki Waga. \u201cFalsification of cyber-physical systems with robustnessguided black-box checking\u201d. In: HSCC \u201920: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020. Ed. by Aaron D. Ames, Sanjit A. Seshia, and Jyotirmoy Deshmukh. ACM, 2020, 11:1\u201311:13. doi:https:\/\/doi.org\/10.1145\/3365365.3382193.","DOI":"10.1145\/3365365.3382193"},{"key":"7_CR82","doi-asserted-by":"publisher","unstructured":"Masaki Waga et al. \u201cDynamic Shielding for Reinforcement Learning in Black-Box Environments\u201d. In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Ed. by Ahmed Bouajjani, Luk\u00e1s Holk, and Zhilin Wu. Vol. 13505. Lecture Notes in Computer Science. Springer, 2022, pp. 25\u201341. doi:https:\/\/doi.org\/10.1007\/978-3-031-19992-9_2.","DOI":"10.1007\/978-3-031-19992-9_2"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-98685-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T07:39:44Z","timestamp":1784533184000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-98685-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031986840","9783031986857"],"references-count":82,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-98685-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"23 July 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Markus Frohme is funded by Deutsche Forschungsgemeinschaft (DFG), Grant 528775176. The authors are directly involved with development and maintenance of the presented tool. The authors declare they have no financial interests.","order":1,"name":"Ethics","label":"Disclosure of Interests","group":{"name":"EthicsHeading","label":"Ethics"}},{"value":"CAV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Zagreb","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Croatia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 July 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cav2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conferences.i-cav.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}