{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T20:08:52Z","timestamp":1770062932842,"version":"3.49.0"},"reference-count":64,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2013,10,3]],"date-time":"2013-10-03T00:00:00Z","timestamp":1380758400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mach Learn"],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1007\/s10994-013-5405-0","type":"journal-article","created":{"date-parts":[[2013,10,2]],"date-time":"2013-10-02T22:01:42Z","timestamp":1380751302000},"page":"189-224","source":"Crossref","is-referenced-by-count":25,"title":["Improving active Mealy machine learning for protocol conformance testing"],"prefix":"10.1007","volume":"96","author":[{"given":"Fides","family":"Aarts","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harco","family":"Kuppens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Tretmans","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sicco","family":"Verwer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,10,3]]},"reference":[{"key":"5405_CR1","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-3-642-15375-4_6","volume-title":"Proceedings of the 21st international conference on concurrency theory, CONCUR","author":"F. Aarts","year":"2010","unstructured":"Aarts, F., & Vaandrager, F. (2010). Learning I\/O automata. In Lecture notes in computer science: Vol.\u00a06269. Proceedings of the 21st international conference on concurrency theory, CONCUR (pp. 71\u201385). Berlin: Springer."},{"key":"5405_CR2","first-page":"188","volume-title":"Proceedings of the 22nd IFIP WG 6.1 international conference on testing software and systems, ICTSS\u201910","author":"F. Aarts","year":"2010","unstructured":"Aarts, F., Jonsson, B., & Uijen, J. (2010a). Generating models of infinite-state communication protocols using regular inference with abstraction. In Proceedings of the 22nd IFIP WG 6.1 international conference on testing software and systems, ICTSS\u201910 (pp. 188\u2013204). Berlin: Springer."},{"key":"5405_CR3","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1007\/978-3-642-16558-0_54","volume-title":"Proceedings of the 4th international conference on leveraging applications of formal methods, verification, and validation\u2014volume part I","author":"F. Aarts","year":"2010","unstructured":"Aarts, F., Schmaltz, J., & Vaandrager, F. (2010b). Inference and abstraction of the biometric passport. In Proceedings of the 4th international conference on leveraging applications of formal methods, verification, and validation\u2014volume part I (pp. 673\u2013686). Berlin: Springer."},{"key":"5405_CR4","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/978-3-642-32759-9_4","volume-title":"Proceedings of the 18th international symposium on formal methods (FM 2012)","author":"F. Aarts","year":"2012","unstructured":"Aarts, F., Heidarian, F., Kuppens, H., Olsen, P., & Vaandrager, F. (2012a). Automata learning through counterexample-guided abstraction refinement. In Lecture notes in computer science: Vol.\u00a07436. Proceedings of the 18th international symposium on formal methods (FM 2012) (pp. 10\u201327). Berlin: Springer."},{"key":"5405_CR5","series-title":"JMLR workshop and conference proceedings","first-page":"4","volume-title":"Proceedings of the 11th international conference on grammatical inference (ICGI 2012)","author":"F. Aarts","year":"2012","unstructured":"Aarts, F., Kuppens, H., Tretmans, J., Vaandrager, F., & Verwer, S. (2012b). Learning and testing the bounded retransmission protocol. In JMLR workshop and conference proceedings: Vol.\u00a021. Proceedings of the 11th international conference on grammatical inference (ICGI 2012) (pp. 4\u201318). JMLR."},{"key":"5405_CR6","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., & Dill, D. L. (1994). A theory of timed automata. Theoretical Computer Science, 126, 183\u2013235.","journal-title":"Theoretical Computer Science"},{"key":"5405_CR7","first-page":"4","volume-title":"Proceedings of the 29th symposium on principles of programming languages","author":"G. Ammons","year":"2002","unstructured":"Ammons, G., Bodik, R., & Larus, J. R. (2002). Mining specifications. In Proceedings of the 29th symposium on principles of programming languages (pp. 4\u201316). New York: ACM."},{"issue":"2","key":"5405_CR8","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. (1987). Learning regular sets from queries and counterexamples. Information and Computation, 75(2), 87\u2013106.","journal-title":"Information and Computation"},{"key":"5405_CR9","first-page":"169","volume-title":"Proceedings of the working conference on reverse engineering","author":"J. Antunes","year":"2011","unstructured":"Antunes, J., Neves, N., & Verissimo, P. (2011). Reverse engineering of protocols from network traces. In Proceedings of the working conference on reverse engineering (pp. 169\u2013178)."},{"key":"5405_CR10","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Proceedings of 8th international conference on computer aided verification (CAV)","author":"A. Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., & Brayton, R. (1996). Verifying continuous time Markov chains. In Lecture notes in computer science: Vol.\u00a01102. Proceedings of 8th international conference on computer aided verification (CAV) (pp. 269\u2013276). Berlin: Springer."},{"key":"5405_CR11","doi-asserted-by":"crossref","unstructured":"Balc\u00e1zar, J., D\u0131az, J., Gavald\u00e1, R., & Watanabe, O. (1997). Algorithms for learning finite automata from queries: a unified view. Advances in Algorithms, Languages, and Complexity, 53\u201372.","DOI":"10.1007\/978-1-4613-3394-4_2"},{"key":"5405_CR12","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/362946.362970","volume":"12","author":"K. Bartlett","year":"1969","unstructured":"Bartlett, K., Scantlebury, R., & Wilkinson, P. (1969). A note on reliable full\u2013duplex transmission over half\u2013duplex links. Communications of the ACM, 12, 260\u2013261.","journal-title":"Communications of the ACM"},{"key":"5405_CR13","series-title":"Lecture notes in computer science","first-page":"33","volume-title":"Formal methods for the design of real-time systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., & Larsen, K. (2004). A tutorial on Uppaal. In Lecture notes in computer science: Vol.\u00a03185. Formal methods for the design of real-time systems (pp. 33\u201335). Berlin: Springer."},{"key":"5405_CR14","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/978-3-642-12002-2_21","volume-title":"Proceedings of the 16th international conference on tools and algorithms for the construction and analysis of systems (TACAS)","author":"A. Belinfante","year":"2010","unstructured":"Belinfante, A. (2010). Jtorx: a tool for on-line model-driven test derivation and execution. In Lecture notes in computer science: Vol.\u00a06015. Proceedings of the 16th international conference on tools and algorithms for the construction and analysis of systems (TACAS) (pp. 266\u2013270). Berlin: Springer."},{"key":"5405_CR15","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-3-540-31984-9_14","volume-title":"Proceedings of the 8th international conference on fundamental approaches to software engineering (FASE)","author":"T. Berg","year":"2005","unstructured":"Berg, T., Grinchtein, O., Jonsson, B., Leucker, M., Raffelt, H., & Steffen, B. (2005). On the correspondence between conformance testing and regular inference. In Lecture notes in computer science: Vol.\u00a03442. Proceedings of the 8th international conference on fundamental approaches to software engineering (FASE) (pp. 175\u2013189). Berlin: Springer."},{"key":"5405_CR16","first-page":"141","volume-title":"Proceedings of the joint meeting of the 12th European software engineering conference and the 17th ACM SIGSOFT symposium on the foundations of software engineering","author":"A. Bertolino","year":"2009","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., & Tivoli, M. (2009). Automatic synthesis of behavior protocols for composable web-services. In Proceedings of the joint meeting of the 12th European software engineering conference and the 17th ACM SIGSOFT symposium on the foundations of software engineering (pp. 141\u2013150). New York: ACM."},{"key":"5405_CR17","series-title":"Lecture notes in computer science.","volume-title":"Model-based testing of reactive systems","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., & Pretschner, A. (Eds.) (2005). Lecture notes in computer science.: Vol.\u00a03472. Model-based testing of reactive systems. Berlin: Springer."},{"key":"5405_CR18","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-540-88009-7_13","volume-title":"Proceedings of the 9th international colloquium on grammatical inference: algorithms and applications (ICGI)","author":"J. Castro","year":"2008","unstructured":"Castro, J., & Gavald\u00e0, R. (2008). Towards feasible PAC-learning of probabilistic deterministic finite automata. In Lecture notes in computer science: Vol.\u00a05278. Proceedings of the 9th international colloquium on grammatical inference: algorithms and applications (ICGI) (pp. 163\u2013174). Berlin: Springer."},{"key":"5405_CR19","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1145\/1866307.1866355","volume-title":"Proceedings of the 17th ACM conference on computer and communications security","author":"C. Y. Cho","year":"2010","unstructured":"Cho, C. Y., Babic, D., Shin, E. C. R., & Song, D. (2010). Inference and analysis of formal models of botnet command and control protocols. In Proceedings of the 17th ACM conference on computer and communications security (pp. 426\u2013439). New York: ACM."},{"key":"5405_CR20","unstructured":"Clark, A., & Thollard, F. (2004). PAC-learnability of probabilistic deterministic finite state automata. Journal of Machine Learning Research, 473\u2013497."},{"key":"5405_CR21","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/BFb0058022","volume-title":"Proceedings of the 17th conference on foundations of software technology and theoretical computer science","author":"E. Clarke","year":"1997","unstructured":"Clarke, E. (1997). Model checking. In Lecture notes in computer science: Vol.\u00a01346. Proceedings of the 17th conference on foundations of software technology and theoretical computer science (pp. 54\u201356). Berlin: Springer."},{"key":"5405_CR22","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-3-642-14684-8_15","volume-title":"Proceedings of the 9th international workshop on finite-state methods and natural language processing","author":"D. Combe","year":"2010","unstructured":"Combe, D., de la Higuera, C., & Janodet, J.-C. (2010). Zulu: an interactive learning competition. In Lecture notes in computer science: Vol.\u00a06062. Proceedings of the 9th international workshop on finite-state methods and natural language processing (pp. 139\u2013146). Berlin: Springer."},{"key":"5405_CR23","first-page":"110","volume-title":"Proceedings of the 30th IEEE symposium on security and privacy","author":"P. Comparetti","year":"2009","unstructured":"Comparetti, P., Wondracek, G., Kruegel, C., & Kirda, E. (2009). Prospex: protocol specification extraction. In Proceedings of the 30th IEEE symposium on security and privacy (pp. 110\u2013125). New York: IEEE."},{"key":"5405_CR24","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"J. E. Cook","year":"1998","unstructured":"Cook, J. E., & Wolf, A. L. (1998). Discovering models of software processes from event-based data. ACM Transactions on Software Engineering and Methodology, 7, 215\u2013249.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"5405_CR25","first-page":"14","volume-title":"Proceedings of 16th USENIX security symposium","author":"W. Cui","year":"2007","unstructured":"Cui, W., Kannan, J., & Wang, H. J. (2007). Discoverer: automatic protocol reverse engineering from network traces. In Proceedings of 16th USENIX security symposium (p. 14)."},{"key":"5405_CR26","first-page":"285","volume-title":"Proceedings of the 1999 international conference on software engineering, 1999","author":"S. Dalal","year":"1999","unstructured":"Dalal, S., Jain, A., Karunanithi, N., Leaton, J., Lott, C., Patton, G., & Horowitz, B. (1999). Model-based testing in practice. In Proceedings of the 1999 international conference on software engineering, 1999 (pp. 285\u2013294). New York: IEEE."},{"key":"5405_CR27","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/1138912.1138918","volume-title":"Proceedings of the 2006 international workshop on dynamic systems analysis (WODA)","author":"V. Dallmeier","year":"2006","unstructured":"Dallmeier, V., Lindig, C., Wasylkowski, A., & Zeller, A. (2006). Mining object behavior with ADABU. In Proceedings of the 2006 international workshop on dynamic systems analysis (WODA) (pp. 17\u201324). New York: ACM."},{"key":"5405_CR28","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/BFb0035403","volume-title":"Proceedings of the 3rd workshop on tools and algorithms for the construction and analysis of systems","author":"P. D\u2019Argenio","year":"1997","unstructured":"D\u2019Argenio, P., Katoen, J.-P., Ruys, T., & Tretmans, J. (1997). The bounded retransmission protocol must be on time! In Lecture notes in computer science: Vol.\u00a01217. Proceedings of the 3rd workshop on tools and algorithms for the construction and analysis of systems (pp. 416\u2013431). Berlin: Springer."},{"key":"5405_CR29","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139194655","volume-title":"Grammatical inference: learning automata and grammars","author":"C. Higuera de la","year":"2010","unstructured":"de la Higuera, C. (2010). Grammatical inference: learning automata and grammars. New York: Cambridge University Press."},{"issue":"2","key":"5405_CR30","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/j.tcs.2003.11.009","volume":"313","author":"C. Higuera de la","year":"2004","unstructured":"de la Higuera, C., & Janodet, J.-C. (2004). Inference of omega-languages from prefixes. Theoretical Computer Science, 313(2), 295\u2013312.","journal-title":"Theoretical Computer Science"},{"key":"5405_CR31","first-page":"39","volume-title":"Proceedings of the 6th international colloquium on grammatical inference (ICGI)","author":"F. Denis","year":"2000","unstructured":"Denis, F., Lemay, A., & Terlutte, A. (2000). Learning regular languages using non deterministic finite automata. In Proceedings of the 6th international colloquium on grammatical inference (ICGI) (pp. 39\u201350)."},{"key":"5405_CR32","unstructured":"Dijkstra, E. (1969). Notes on structured programming."},{"key":"5405_CR33","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-31848-4_1","volume-title":"Proceedings of the 5th international workshop on formal approaches to software testing","author":"L. Frantzen","year":"2005","unstructured":"Frantzen, L., Tretmans, J., & Willemse, T. (2005). Test generation based on symbolic specifications. In Lecture notes in computer science: Vol.\u00a03395. Proceedings of the 5th international workshop on formal approaches to software testing (pp. 1\u201315). Berlin: Springer."},{"key":"5405_CR34","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1007\/978-3-642-19835-9_33","volume-title":"Proceedings of the 17th international conference on tools and algorithms for the construction and analysis of systems","author":"H. Garavel","year":"2011","unstructured":"Garavel, H., Lang, F., Mateescu, R., & Serwe, W. (2011). CADP 2010: a toolbox for the construction and analysis of distributed processes. In Lecture notes in computer science: Vol.\u00a06605. Proceedings of the 17th international conference on tools and algorithms for the construction and analysis of systems (pp. 372\u2013387). Berlin: Springer."},{"issue":"3","key":"5405_CR35","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1016\/S0019-9958(78)90562-4","volume":"37","author":"E. M. Gold","year":"1978","unstructured":"Gold, E. M. (1978). Complexity of automaton identification from given data. Information and Control, 37(3), 302\u2013320.","journal-title":"Information and Control"},{"key":"5405_CR36","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/11817949_29","volume-title":"Proceedings of the 17th international conference on concurrency theory (CONCUR)","author":"O. Grinchtein","year":"2006","unstructured":"Grinchtein, O., Jonsson, B., & Petterson, P. (2006). Inference of event-recording automata using timed decision trees. In Lecture notes in computer science: Vol.\u00a04137. Proceedings of the 17th international conference on concurrency theory (CONCUR) (pp. 435\u2013449). Berlin: Springer."},{"key":"5405_CR37","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., & Jonsson, B. (1994). A logic for reasoning about time and reliability. Formal Aspects of Computing, 6, 512\u2013535.","journal-title":"Formal Aspects of Computing"},{"key":"5405_CR38","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-58085-9_75","volume-title":"Proceedings international workshop TYPES\u201993","author":"L. Helmink","year":"1994","unstructured":"Helmink, L., Sellink, M., & Vaandrager, F. (1994). Proof-checking a data link protocol. In Lecture notes in computer science: Vol.\u00a0806. Proceedings international workshop TYPES\u201993 (pp. 127\u2013165). Berlin: Springer."},{"issue":"2","key":"5405_CR39","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T. Henzinger","year":"1994","unstructured":"Henzinger, T., Nicollin, X., Sifakis, J., & Yovine, S. (1994). Symbolic model checking for real-time systems. Information and Computation, 111(2), 193\u2013244.","journal-title":"Information and Computation"},{"key":"5405_CR40","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/978-3-540-45069-6_31","volume-title":"Proceedings of the 15th international conference on computer aided verification (CAV)","author":"H. Hungar","year":"2003","unstructured":"Hungar, H., Niese, O., & Steffen, B. (2003). Domain-specific optimization in automata learning. In Lecture notes in computer science: Vol.\u00a02725. Proceedings of the 15th international conference on computer aided verification (CAV) (pp. 315\u2013327). Berlin: Springer."},{"issue":"1\/2","key":"5405_CR41","first-page":"41","volume":"9","author":"C. Ip","year":"1996","unstructured":"Ip, C., & Dill, D. (1996). Better verification through symmetry. Formal Methods in System Design, 9(1\/2), 41\u201375.","journal-title":"Formal Methods in System Design"},{"issue":"2","key":"5405_CR42","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1016\/j.peva.2010.04.001","volume":"68","author":"J.-P. Katoen","year":"2011","unstructured":"Katoen, J.-P., Zapreev, I. S., Hahn, E. M., Hermanns, H., & Jansen, D. N. (2011). The ins and outs of the probabilistic model checker MRMC. Performance Evaluation, 68(2), 90\u2013104.","journal-title":"Performance Evaluation"},{"key":"5405_CR43","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3897.001.0001","volume-title":"An introduction to computational learning theory","author":"M. J. Kearns","year":"1994","unstructured":"Kearns, M. J., & Vazirani, U. V. (1994). An introduction to computational learning theory. Cambridge: MIT Press."},{"issue":"8","key":"5405_CR44","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., & Yannakakis, M. (1996). Principles and methods for testing finite state machines\u2014a survey. Proceedings of the IEEE, 84(8), 1090\u20131123.","journal-title":"Proceedings of the IEEE"},{"key":"5405_CR45","first-page":"95","volume-title":"Proceedings of the 9th IEEE international high-level design validation and test workshop (HLDVT)","author":"T. Margaria","year":"2004","unstructured":"Margaria, T., Niese, O., Raffelt, H., & Steffen, B. (2004). Efficient test-based model generation for legacy reactive systems. In Proceedings of the 9th IEEE international high-level design validation and test workshop (HLDVT) (pp. 95\u2013100). Washington: IEEE Computer Society."},{"key":"5405_CR46","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1109\/TSE.2010.93","volume":"37","author":"L. Mariani","year":"2011","unstructured":"Mariani, L., Pastore, F., & Pezze, M. (2011). Dynamic analysis for diagnosing integration faults. IEEE Transactions on Software Engineering, 37, 486\u2013508.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5405_CR47","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/978-3-642-34026-0_32","volume-title":"Proceedings of the 5th international symposium on leveraging applications of formal methods, verification and validation (ISoLA)","author":"K. Meinke","year":"2012","unstructured":"Meinke, K., & Walkinshaw, N. (2012). Model-based testing and model inference. In Lecture notes in computer science: Vol.\u00a07609. Proceedings of the 5th international symposium on leveraging applications of formal methods, verification and validation (ISoLA) (pp. 440\u2013443). Berlin: Springer."},{"key":"5405_CR48","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-642-04570-7_19","volume-title":"Proceedings of the 15th international workshop on formal methods for industrial critical systems","author":"W. Mostowski","year":"2009","unstructured":"Mostowski, W., Poll, E., Schmaltz, J., Tretmans, J., & Wichers Schreur, R. (2009). Model-based testing of electronic passports. In Lecture notes in computer science: Vol.\u00a05825. Proceedings of the 15th international workshop on formal methods for industrial critical systems (pp. 207\u2013209). Berlin: Springer."},{"key":"5405_CR49","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov decision processes: discrete stochastic dynamic programming","author":"M. L. Puterman","year":"1994","unstructured":"Puterman, M. L. (1994). Markov decision processes: discrete stochastic dynamic programming (1st ed.). New York: Wiley.","edition":"1"},{"key":"5405_CR50","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/s10009-009-0111-8","volume":"11","author":"H. Raffelt","year":"2009","unstructured":"Raffelt, H., Steffen, B., Berg, T., & Margaria, T. (2009). Learnlib: a framework for extrapolating behavioral models. International Journal on Software Tools for Technology Transfer, 11, 393\u2013407.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"5405_CR51","unstructured":"Settles, B. (2010). Active learning literature survey (Technical report). University of Wisconsin-Madison."},{"key":"5405_CR52","unstructured":"Shafique, M., & Labiche, Y. (2010). A systematic review of model based testing tool support (Technical Report SCE-10-04). Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada."},{"key":"5405_CR53","volume-title":"Languages and machines: an introduction to the theory of computer science","author":"T. A. Sudkamp","year":"2006","unstructured":"Sudkamp, T. A. (2006). Languages and machines: an introduction to the theory of computer science (3rd ed.). Reading: Addison-Wesley.","edition":"3"},{"key":"5405_CR54","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal methods and testing","author":"J. Tretmans","year":"2008","unstructured":"Tretmans, J. (2008). Model based testing with labelled transition systems. In Lecture notes in computer science: Vol.\u00a04949. Formal methods and testing (pp. 1\u201338). Berlin: Springer."},{"key":"5405_CR55","first-page":"31","volume-title":"Proceedings of the 1st European conference on model-driven software engineering","author":"J. Tretmans","year":"2003","unstructured":"Tretmans, J., & Brinksma, E. (2003). Torx: automated model-based testing. In Proceedings of the 1st European conference on model-driven software engineering (pp. 31\u201343)."},{"key":"5405_CR56","volume-title":"Practical model-based testing: a tools approach","author":"M. Utting","year":"2007","unstructured":"Utting, M., & Legeard, B. (2007). Practical model-based testing: a tools approach. San Mateo: Morgan-Kaufmann."},{"key":"5405_CR57","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process mining\u2014discovery, conformance and enhancement of business processes","author":"W. M. P. Aalst van der","year":"2011","unstructured":"van der Aalst, W. M. P. (2011). Process mining\u2014discovery, conformance and enhancement of business processes. Berlin: Springer."},{"key":"5405_CR58","unstructured":"Verwer, S. (2010). Efficient identification of timed automata: theory and practice. PhD thesis, Delft University of Technology."},{"key":"5405_CR59","unstructured":"Verwer, S., de Weerdt, M., & Witteveen, C. (2011). Efficiently identifying deterministic real-time automata from labeled data. Machine Learning, 1\u201339."},{"key":"5405_CR60","first-page":"209","volume-title":"Proceedings of the 14th working conference on reverse engineering","author":"N. Walkinshaw","year":"2007","unstructured":"Walkinshaw, N., Bogdanov, K., Holcombe, M., & Salahuddin, S. (2007). Reverse engineering state machines by interactive grammar inference. In Proceedings of the 14th working conference on reverse engineering (pp. 209\u2013218). New York: IEEE."},{"key":"5405_CR61","first-page":"1","volume-title":"Proceedings of the 1st international workshop on model inference in testing","author":"N. Walkinshaw","year":"2010","unstructured":"Walkinshaw, N., Bogdanov, K., Damas, C., Lambeau, B., & Dupont, P. (2010a). A framework for the competitive evaluation of model inference techniques. In Proceedings of the 1st international workshop on model inference in testing (pp. 1\u20139). New York: ACM."},{"key":"5405_CR62","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-3-642-16573-3_10","volume-title":"Proceedings of the 22nd IFIP WG 6.1 international conference on testing software and systems (ICTSS)","author":"N. Walkinshaw","year":"2010","unstructured":"Walkinshaw, N., Bogdanov, K., Derrick, J., & Paris, J. (2010b). Increasing functional coverage by inductive testing: a case study. In Lecture notes in computer science: Vol.\u00a06435. Proceedings of the 22nd IFIP WG 6.1 international conference on testing software and systems (ICTSS) (pp. 126\u2013141). Berlin: Springer."},{"issue":"4","key":"5405_CR63","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1145\/69575.357231","volume":"5","author":"E. J. Weyuker","year":"1983","unstructured":"Weyuker, E. J. (1983). Assessing test data adequacy through program inference. ACM Transactions on Programming Languages and Systems, 5(4), 641\u2013655.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5405_CR64","unstructured":"Yokomori, T. (1993). Learning non-deterministic finite automata from queries and counterexamples. In Machine Intelligence (pp. 196\u2013189). University Press."}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-013-5405-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10994-013-5405-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-013-5405-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,7]],"date-time":"2022-03-07T19:25:32Z","timestamp":1646681132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10994-013-5405-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,3]]},"references-count":64,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["5405"],"URL":"https:\/\/doi.org\/10.1007\/s10994-013-5405-0","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,3]]}}}