{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T05:44:40Z","timestamp":1748583880068,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319516400"},{"type":"electronic","value":"9783319516417"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-51641-7_8","type":"book-chapter","created":{"date-parts":[[2016,12,21]],"date-time":"2016-12-21T02:11:03Z","timestamp":1482286263000},"page":"128-142","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Model-Driven Active Automata Learning with LearnLib Studio"],"prefix":"10.1007","author":[{"given":"Oliver","family":"Bauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"Neubauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malte","family":"Isberner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,22]]},"reference":[{"key":"8_CR1","unstructured":"Activiti Team: Activiti BPM Platform (2012). \n                    http:\/\/www.activiti.org\/"},{"issue":"2","key":"8_CR2","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. 75(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"key":"8_CR3","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-28033-7_6","volume-title":"Eternal Systems","author":"O Bauer","year":"2012","unstructured":"Bauer, O., Neubauer, J., Steffen, B., Howar, F.: Reusing system states by active learning algorithms. In: Moschitti, A., Scandariato, R. (eds.) EternalS 2011. CCIS, vol. 255, pp. 61\u201378. Springer, Heidelberg (2012). doi:\n                    10.1007\/978-3-642-28033-7_6"},{"key":"8_CR4","unstructured":"Bollig, B., Habermehl, P., Kern, C., Leucker, M.: Angluin-style learning of NFA. In: IJCAI 2009, pp. 1004\u20131009. Morgan Kaufmann Publishers Inc., San Francisco (2009)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-14295-6_32","volume-title":"Computer Aided Verification","author":"B Bollig","year":"2010","unstructured":"Bollig, B., Katoen, J.-P., Kern, C., Leucker, M., Neider, D., Piegdon, D.R.: libalf: the automata learning framework. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 360\u2013364. Springer, Heidelberg (2010). doi:\n                    10.1007\/978-3-642-14295-6_32"},{"issue":"3","key":"8_CR6","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. 4(3), 178\u2013187 (1978)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR7","volume-title":"Model Checking","author":"EM Clarke Jr","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"8_CR8","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\u0102s\u0102reanu, 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:\n                    10.1007\/3-540-36577-X_24"},{"key":"8_CR9","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-642-12186-9_50","volume-title":"Business Process Management Workshops","author":"P Dadam","year":"2010","unstructured":"Dadam, P., et al.: From ADEPT to AristaFlow BPM suite: a research vision has become reality. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol. 43, pp. 529\u2013531. Springer, Heidelberg (2010). doi:\n                    10.1007\/978-3-642-12186-9_50"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-642-13675-7_13","volume-title":"Applications and Theory of Petri Nets","author":"J Esparza","year":"2010","unstructured":"Esparza, J., Leucker, M., Schlund, M.: Learning workflow petri nets. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 206\u2013225. Springer, Heidelberg (2010). doi:\n                    10.1007\/978-3-642-13675-7_13"},{"key":"8_CR11","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., Niese, O., Steffen, B.: 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:\n                    10.1007\/3-540-45923-5_6"},{"key":"8_CR12","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-642-34781-8_18","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"F Howar","year":"2012","unstructured":"Howar, F., Bauer, O., Merten, M., Steffen, B., Margaria, T.: The teachers\u2019 crowd: the impact of distributed oracles on active automata learning. In: H\u00e4hnle, R., Knoop, J., Margaria, T., Schreiner, D., Steffen, B. (eds.) ISoLA 2011 Workshops. CCIS, vol. 336, pp. 232\u2013247. Springer, Heidelberg (2012). doi:\n                    10.1007\/978-3-642-34781-8_18"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/978-3-662-45234-9_34","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"F Howar","year":"2014","unstructured":"Howar, F., Isberner, M., Steffen, B.: Tutorial: automata learning in practice. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 499\u2013513. Springer, Heidelberg (2014). doi:\n                    10.1007\/978-3-662-45234-9_34"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-540-45069-6_31","volume-title":"Computer Aided Verification","author":"H Hungar","year":"2003","unstructured":"Hungar, H., Niese, O., Steffen, B.: Domain-specific optimization in automata learning. In: Hunt, W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 315\u2013327. Springer, Heidelberg (2003). doi:\n                    10.1007\/978-3-540-45069-6_31"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Irfan, M.N., Oriat, C., Groz, R.: Angluin style finite state machine inference with non-optimal counterexamples. In: Proceedings of the First International Workshop on Model Inference in Testing, MIIT 2010, pp. 11\u201319. ACM, New York (2010)","DOI":"10.1145\/1868044.1868046"},{"issue":"1\u20132","key":"8_CR16","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. Mach. Learn. 96(1\u20132), 65\u201398 (2014)","journal-title":"Mach. Learn."},{"key":"8_CR17","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, Heidelberg (2014). doi:\n                    10.1007\/978-3-319-11164-3_26"},{"key":"8_CR18","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:\n                    10.1007\/978-3-319-21690-4_32"},{"key":"8_CR19","unstructured":"Isberner, M., Steffen, B.: An abstract framework for counterexample analysis in active automata learning. In: Clark, A., Kanazawa, M., Yoshinaka, R. (eds.) Proceedings of the 12th International Conference on Grammatical Inference, ICGI 2014, JMLR Proceedings, Kyoto, Japan, 17\u201319 September 2014, vol. 34, pp. 79\u201393 (2014). \n                    JMLR.org"},{"key":"8_CR20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3897.001.0001","volume-title":"An Introduction to Computational Learning Theory","author":"MJ Kearns","year":"1994","unstructured":"Kearns, M.J., Vazirani, U.V.: An Introduction to Computational Learning Theory. MIT Press, Cambridge (1994)"},{"key":"8_CR21","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/978-3-319-51641-7_7","volume-title":"ISoLA 2012\/2014","author":"D K\u00fchn","year":"2016","unstructured":"K\u00fchn, D., Neubauer, J.: Guided domain-specific tailoring of jABC4. In: Lamprecht, A.-L. (ed.) ISoLA 2012\/2014. CCIS, vol. 683, pp. 113\u2013127. Springer, Heidelberg (2016)"},{"key":"8_CR22","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-540-88479-8_35","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"T Margaria","year":"2008","unstructured":"Margaria, T., Steffen, B.: Agile IT: thinking in user-centric models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 490\u2013502. Springer, Heidelberg (2008). doi:\n                    10.1007\/978-3-540-88479-8_35"},{"key":"8_CR23","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-1-4471-2297-5_10","volume-title":"Conquering Complexity","author":"T Margaria","year":"2012","unstructured":"Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 217\u2013236. Springer, London (2012)"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-642-19835-9_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M Merten","year":"2011","unstructured":"Merten, M., Steffen, B., Howar, F., Margaria, T.: Next generation LearnLib. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 220\u2013223. Springer, Heidelberg (2011). doi:\n                    10.1007\/978-3-642-19835-9_18"},{"issue":"3","key":"8_CR25","first-page":"277","volume":"44","author":"S Naujokat","year":"2014","unstructured":"Naujokat, S., Neubauer, J., Lamprecht, A.-L., Steffen, B., J\u00f6rges, S., Margaria, T.: Simplicity-first model-based plug-in development. Softw.: Pract. Exp. 44(3), 277\u2013297 (2014)","journal-title":"Softw.: Pract. Exp."},{"key":"8_CR26","unstructured":"Neubauer, J.: Higher-order process engineering. Ph.D. thesis, Technische Universit\u00e4t, Dortmund (2014)"},{"issue":"11","key":"8_CR27","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MC.2013.296","volume":"46","author":"J Neubauer","year":"2013","unstructured":"Neubauer, J., Steffen, B.: Plug-and-play higher-order process integration. Computer 46(11), 56\u201362 (2013)","journal-title":"Computer"},{"key":"8_CR28","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-39336-5_2","volume-title":"Software Business. From Physical Products to Software Services and Solutions","author":"J Neubauer","year":"2013","unstructured":"Neubauer, J., Steffen, B.: Second-order servification. In: Herzwurm, G., Margaria, T. (eds.) ICSOB 2013. LNBIP, vol. 150, pp. 13\u201325. Springer, Heidelberg (2013). doi:\n                    10.1007\/978-3-642-39336-5_2"},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Neubauer, J., Steffen, B., Bauer, O., Windm\u00fcller, S., Merten, M., Margaria, T., Howar, F.: Automated continuous quality assurance. In: FormSERA 2012, pp. 37\u201343. IEEE Press, Piscataway (2012)","DOI":"10.1109\/FormSERA.2012.6229787"},{"issue":"5","key":"8_CR30","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/s10009-014-0321-6","volume":"16","author":"J Neubauer","year":"2014","unstructured":"Neubauer, J., Windm\u00fcller, S., Steffen, B.: Risk-based testing via active continuous quality control. Int. J. Softw. Tools Technol. Transfer 16(5), 569\u2013591 (2014)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"8_CR31","unstructured":"OMG: Business Process Model and Notation (BPMN) Version 2.0 (2011). \n                    http:\/\/www.omg.org\/spec\/BPMN\/2.0\/"},{"key":"8_CR32","unstructured":"RedHat Software - JBoss: jBPM Website (2012) \n                    http:\/\/www.jboss.org\/jbpm"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Rivest, R.L., Schapire, R.E.: Inference of finite automata using homing sequences. In: STOC 1989, pp. 411\u2013420. ACM, New York (1989)","DOI":"10.1145\/73007.73047"},{"issue":"5","key":"8_CR34","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1109\/TSE.2012.63","volume":"39","author":"M Robillard","year":"2013","unstructured":"Robillard, M., Bodden, E., Kawrykow, D., Mezini, M., Ratchford, T.: Automated API property inference techniques. IEEE Trans. Software Eng. 39(5), 613\u2013637 (2013)","journal-title":"IEEE Trans. Software Eng."},{"key":"8_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03345-6","volume-title":"Software Engineering with Reusable Components","author":"J Sametinger","year":"1997","unstructured":"Sametinger, J.: Software Engineering with Reusable Components. Springer, New York (1997)"},{"key":"8_CR36","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). doi:\n                    10.1007\/978-3-642-05089-3_14"},{"key":"8_CR37","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). doi:\n                    10.1007\/978-3-642-21455-4_8"},{"key":"8_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92\u2013108. Springer, Heidelberg (2007). doi:\n                    10.1007\/978-3-540-70889-6_7"},{"key":"8_CR39","doi-asserted-by":"crossref","unstructured":"Windm\u00fcller, S., Neubauer, J., Steffen, B., Howar, F., Bauer, O.: Active continuous quality control. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, CBSE 2013, pp. 111\u2013120. ACM, New York (2013)","DOI":"10.1145\/2465449.2465469"},{"key":"8_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-642-16558-0_26","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"D Withers","year":"2010","unstructured":"Withers, D., Kawas, E., McCarthy, L., Vandervalk, B., Wilkinson, M.: Semantically-guided workflow construction in Taverna: the SADI and BioMoby plug-ins. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6415, pp. 301\u2013312. Springer, Heidelberg (2010). doi:\n                    10.1007\/978-3-642-16558-0_26"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51641-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T08:31:28Z","timestamp":1558513888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51641-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319516400","9783319516417"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51641-7_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"22 December 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}