{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:38:53Z","timestamp":1782877133419,"version":"3.54.5"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319471686","type":"print"},{"value":"9783319471693","type":"electronic"}],"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_51","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"655-671","source":"Crossref","is-referenced-by-count":13,"title":["ALEX: Mixed-Mode Learning of Web Applications at Ease"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Bainczyk","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Schieweck","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Malte","family":"Isberner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Johannes","family":"Neubauer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"51_CR1","unstructured":"Aarts, F., Tomte: bridging the gap between active learning and real-world systems. Ph.D. thesis, Radboud University Nijmegen (2014)"},{"key":"51_CR2","doi-asserted-by":"crossref","unstructured":"Aarts, F., de Ruiter, J., Poll, E.: Formal models of bank cards for free. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 461\u2013468, March 2013","DOI":"10.1109\/ICSTW.2013.60"},{"key":"51_CR3","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. 7436, pp. 10\u201327. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-32759-9_4"},{"key":"51_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-16573-3_14","volume-title":"Testing Software and Systems","author":"F Aarts","year":"2010","unstructured":"Aarts, F., Jonsson, B., Uijen, J.: Generating models of infinite-state communication protocols using regular inference with abstraction. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol. 6435, pp. 188\u2013204. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16573-3_14"},{"key":"51_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/978-3-642-16558-0_54","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"F Aarts","year":"2010","unstructured":"Aarts, F., Schmaltz, J., Vaandrager, F.: Inference and abstraction of the biometric passport. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol. 6415, pp. 673\u2013686. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16558-0_54"},{"issue":"2","key":"51_CR6","doi-asserted-by":"crossref","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":"51_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-662-45234-9_17","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","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, Part I. LNCS, vol. 8802, pp. 236\u2013252. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-45234-9_17"},{"key":"51_CR8","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC, FSE 2009, pp. 141\u2013150. ACM, New York (2009)","DOI":"10.1145\/1595696.1595719"},{"key":"51_CR9","doi-asserted-by":"crossref","unstructured":"Bohlin, T., Jonsson, B.: Regular inference for communication protocol entities. Technical report, Department of Information Technology, Uppsala University, Schweden (2009)","DOI":"10.1007\/978-3-642-16558-0_53"},{"key":"51_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-48683-6_6","volume-title":"Computer Aided Verification","author":"E Brinksma","year":"1999","unstructured":"Brinksma, E.: Formal methods for conformance testing: theory can be practical. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol. 1633, pp. 44\u201346. Springer, Heidelberg (1999). doi: 10.1007\/3-540-48683-6_6"},{"key":"51_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11498490_1","volume-title":"Model-Based Testing of Reactive Systems","author":"M Broy","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A.: Part I. testing of finite state machines. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 1\u20133. Springer, Heidelberg (2005). doi: 10.1007\/11498490_1"},{"key":"51_CR12","doi-asserted-by":"crossref","unstructured":"Cho, C.Y., Babi\u0107, D., Shin, R., Song, D.: Inference and analysis of formalmodels of botnet command and control protocols. In: Proceedings of the 2010 ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, pp. 426\u2013440. ACM (2010)","DOI":"10.1145\/1866307.1866355"},{"key":"51_CR13","doi-asserted-by":"crossref","unstructured":"Choi, W., Necula, G., Sen, K.: Guided GUI testing of android apps with minimal restart and approximate learning. In: Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2013, pp. 623\u2013640. ACM, New York (2013)","DOI":"10.1145\/2509136.2509552"},{"issue":"3","key":"51_CR14","doi-asserted-by":"crossref","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":"51_CR15","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"51_CR16","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-35702-2_5","volume-title":"Software Quality","author":"V Dallmeier","year":"2013","unstructured":"Dallmeier, V., Burger, M., Orth, T., Zeller, A.: WebMate: generating test cases for web 2.0. In: Winkler, D., Biffl, S., Bergsmann, J. (eds.) SWQD 2013. LNBIP, vol. 133, pp. 55\u201369. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-35702-2_5"},{"key":"51_CR17","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, p. 80. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45923-5_6"},{"key":"51_CR18","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","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, Part I. LNCS, vol. 8802, pp. 499\u2013513. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-45234-9_34"},{"issue":"1","key":"51_CR19","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/s10009-004-0139-8","volume":"6","author":"H Hungar","year":"2004","unstructured":"Hungar, H., Steffen, B.: Behavior-based model construction. Int. J. Softw. Tools Technol. Transf. 6(1), 4\u201314 (2004)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"1","key":"51_CR20","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), 65\u201398 (2014). doi: 10.1007\/s10994-013-5419-7","journal-title":"Mach. Learn."},{"key":"51_CR21","doi-asserted-by":"crossref","unstructured":"Isberner, M., Howar, F., Steffen, B.: The Open-source LearnLib: a framework for active automata learning. In: CAV 2015 (2015, accepted)","DOI":"10.1007\/978-3-319-21690-4_32"},{"key":"51_CR22","unstructured":"Jonsson, B.: Formal methods for eternal networked software systems. In: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, 13\u201318 June 2011, pp. 327\u2013349 (2011). Advanced lectures"},{"key":"51_CR23","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: 10.1007\/978-3-642-19835-9_18"},{"issue":"4","key":"51_CR24","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1090\/S0002-9939-1958-0135681-9","volume":"9","author":"A Nerode","year":"1958","unstructured":"Nerode, A.: Linear automaton transformations. Proc. Am. Math. Soc. 9(4), 541\u2013544 (1958)","journal-title":"Proc. Am. Math. Soc."},{"key":"51_CR25","unstructured":"Niese, O.: An integrated approach to testing complex systems. Ph.D. thesis, University of Dortmund, Germany (2003)"},{"key":"51_CR26","doi-asserted-by":"crossref","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Proceedings of FORTE 1999, pp. 225\u2013240. Kluwer Academic (1999)","DOI":"10.1007\/978-0-387-35578-8_13"},{"key":"51_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/11693017_28","volume-title":"Fundamental Approaches to Software Engineering","author":"H Raffelt","year":"2006","unstructured":"Raffelt, H., Steffen, B.: LearnLib: a library for automata learning and experimentation. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol. 3922, pp. 377\u2013380. Springer, Heidelberg (2006). doi: 10.1007\/11693017_28"},{"key":"51_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-77966-7_13","volume-title":"Hardware and Software: Verification and Testing","author":"H Raffelt","year":"2008","unstructured":"Raffelt, H., Steffen, B., Margaria, T.: Dynamic testing via automata learning. In: Yorav, K. (ed.) HVC 2007. LNCS, vol. 4899, pp. 136\u2013152. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-77966-7_13"},{"key":"51_CR29","doi-asserted-by":"crossref","unstructured":"Schur, M., Roth, A., Zeller, A.: Mining behavior models from enterprise web applications. In: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, pp. 422\u2013432. ACM (2013)","DOI":"10.1145\/2491411.2491426"},{"issue":"12","key":"51_CR30","doi-asserted-by":"crossref","first-page":"1184","DOI":"10.1109\/TSE.2015.2461542","volume":"41","author":"M Schur","year":"2015","unstructured":"Schur, M., Roth, A., Zeller, A.: Mining workflow models from web applications. IEEE Trans. Softw. Eng. 41(12), 1184\u20131201 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"51_CR31","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: 10.1007\/978-3-642-21455-4_8"}],"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_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:09:49Z","timestamp":1568434189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}