{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T14:47:01Z","timestamp":1748616421508},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330936"},{"type":"electronic","value":"9783540330943"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11693017_28","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T13:39:54Z","timestamp":1143553194000},"page":"377-380","source":"Crossref","is-referenced-by-count":34,"title":["LearnLib: A Library for Automata Learning and Experimentation"],"prefix":"10.1007","author":[{"given":"Harald","family":"Raffelt","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","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.) ETAPS 2002 and FASE 2002. LNCS, vol.\u00a02306, pp. 80\u201395. Springer, Heidelberg (2002)"},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"J.E. Cook","year":"1998","unstructured":"Cook, J.E., Wolf, A.L.: Discovering models of software processes from event-based data. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a07, 215\u2013249 (1998)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"28_CR3","first-page":"225","volume-title":"FORTE\/PSTV 1999: Proc. of the Joint Int. Conference on Formal Description Techniques for Distributed System and Communication\/Protocols and Protocol Specification, Testing and Verification","author":"D. Peled","year":"1999","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) FORTE\/PSTV 1999: Proc. of the Joint Int. Conference on Formal Description Techniques for Distributed System and Communication\/Protocols and Protocol Specification, Testing and Verification, pp. 225\u2013240. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Brun, Y., Ernst, M.D.: Finding latent code errors via machine learning over program executions. In: ICSE 2004: Proc. of the 26th International Conference on Software Engineering, Edinburgh, Scotland, pp. 480\u2013490 (2004)","DOI":"10.1109\/ICSE.2004.1317470"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Nimmer, J.W., Ernst, M.D.: Automatic generation of program specifications. In: ISSTA 2002: Proceedings of the 2002 International Symposium on Software Testing and Analysis, Rome, Italy, pp. 232\u2013242 (2002)","DOI":"10.1145\/566172.566213"},{"key":"28_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/3-540-36384-X_3","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"B. Steffen","year":"2002","unstructured":"Steffen, B., Hungar, H.: Behavior-based model construction. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol.\u00a02575, pp. 5\u201319. Springer, Heidelberg (2002)"},{"key":"28_CR7","first-page":"95","volume-title":"HLDVT 2004: Proc. of the 9th IEEE Int. Workshop on High Level Design Validation and Test","author":"B. Steffen","year":"2004","unstructured":"Steffen, B., Margaria, T., Raffelt, H., Niese, O.: Efficient test-based model generation of legacy systems. In: HLDVT 2004: Proc. of the 9th IEEE Int. Workshop on High Level Design Validation and Test, pp. 95\u2013100. IEEE Computer Society Press, Sonoma (CA), USA (2004)"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","first-page":"557","volume-title":"FMICS 2005: Proc. of the 10th International Workshop on Formal Methods for Industrial Critical Systems","author":"H. Raffelt","year":"2005","unstructured":"Raffelt, H., Steffen, B., Berg, T.: Learnlib: A library for automata learning and experimentation. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 557\u2013562. ACM Press, New York (2005)"},{"key":"28_CR9","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"2","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation\u00a02, 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"28_CR10","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 Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 315\u2013327. Springer, Heidelberg (2003)"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Margaria, T., Raffelt, H., Steffen, B.: Analyzing second-order effects between optimizations for system-level test-based model generation. In: ITC 2005: Proc. of IEEE International Test Conference (2005)","DOI":"10.1109\/TEST.2005.1584006"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11693017_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T05:19:13Z","timestamp":1552367953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11693017_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330936","9783540330943"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11693017_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}