{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T23:14:07Z","timestamp":1763507647865},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540779643"},{"type":"electronic","value":"9783540779667"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77966-7_13","type":"book-chapter","created":{"date-parts":[[2008,2,1]],"date-time":"2008-02-01T08:59:24Z","timestamp":1201856364000},"page":"136-152","source":"Crossref","is-referenced-by-count":27,"title":["Dynamic Testing Via Automata Learning"],"prefix":"10.1007","author":[{"given":"Harald","family":"Raffelt","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","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":"Fundamental Approaches to Software Engineering","author":"T. Berg","year":"2005","unstructured":"Berg, T., Grinchtein, O., Jonsson, B., Leucker, M., Raffelt, H., Steffen, B.: On the correspondence between conformance testing and regular inference. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 175\u2013189. Springer, Heidelberg (2005)"},{"key":"13_CR2","first-page":"51","volume-title":"ETW\u201901","author":"O. Niese","year":"2001","unstructured":"Niese, O., Margaria, T., Hagerer, A., Steffen, B., Brune, G., Goerigk, W., Ide, H.D.: Automated regression testing of cti-systems. In: ETW\u201901. Proc. of the IEEE European Test Workshop, Washington, DC, USA, p. 51. IEEE Computer Society, Los Alamitos (2001)"},{"key":"13_CR3","first-page":"67","volume-title":"ETW 2002","author":"T. Margaria","year":"2002","unstructured":"Margaria, T., Niese, O., Steffen, B., Erochok, A.: System level testing of virtual switch (re-)configuration over ip. In: ETW 2002. Proc. of the IEEE European Test Workshop, pp. 67\u201374. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"13_CR4","first-page":"1033","volume":"55","author":"A. Hagerer","year":"2001","unstructured":"Hagerer, A., Margaria, T., Niese, O., Steffen, B., Brune, G., Ide, H.D.: Efficient regression testing of cti-systems: Testing a complex call-center solution. Annual Review of Communication, Int. Engineering Consortium (IEC), Chicago (USA)\u00a0vol. 55, pp. 1033\u20131040 (2001)","journal-title":"Annual Review of Communication, Int. Engineering Consortium (IEC), Chicago (USA)"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/1081180.1081189","volume-title":"FMICS 2005","author":"H. Raffelt","year":"2005","unstructured":"Raffelt, H., Steffen, B., Berg, T.: Learnlib: A library for automata learning and experimentation. In: FMICS 2005. Proc.of the 10 th International Workshop on Formal Methods for Industrial Critical Systems, Lisbon, Portugal, pp. 62\u201371. ACM Press, New York (2005)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Hardware and Software, Verification and Testing","author":"S. J\u00f6rges","year":"2007","unstructured":"J\u00f6rges, S., Kubczak, C., Nagel, R., Margaria, T., Steffen, B.: Model-driven development with the jabc. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383, Springer, Heidelberg (2007)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B., Reitenspie\u00df, M.: Service-oriented design: The jabc approach. In: SOC 2005. Proc. of Service Oriented Computing, Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany (2005)","DOI":"10.1007\/11596141_34"},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.entcs.2005.12.049","volume":"157","author":"M. Karusseit","year":"2006","unstructured":"Karusseit, M., Margaria, T.: Feature-based modelling of a complex, online-reconfigurable decision support service. Electr. Notes Theor. Comput. Sci.\u00a0157(2), 101\u2013118 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/TEST.2003.1271084","volume-title":"ITC 2003","author":"H. Hungar","year":"2003","unstructured":"Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy systems. In: ITC 2003. Proc. of 2003 International Test Conference, Charlotte, NC, pp. 971\u2013980. IEEE Computer Society, Los Alamitos (September 2003)"},{"key":"13_CR10","unstructured":"H\u00f6rmann, M., Margaria, T., Mender, T., Nagel, R., Schuster, M., Steffen, B., Trinh, H.: The jabc approach to collaborative development of embedded applications. In: CCE 2006. Int. Workshop on Challenges in Collaborative Engineering - State of the Art and Future Challenges on Collaborative Design, April 2006 (Industry Day), Prag (CZ) (2006)"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Raffelt, H., Steffen, B., Berg, T., Margaria, T.: LearnLib: A library for automata learning and experimentation. International Journal on Software Tools Technology Transfer (Submitted, 2005)","DOI":"10.1145\/1081180.1081189"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Ernst, M.D., Czeisler, A., Griswold, W.G., Notkin, D.: Quickly detecting relevant program invariants. In: ICSE 2000. Proc. of 22 nd Int. Conf. on Software Engineering, pp. 449\u2013458 (June 2000)","DOI":"10.1109\/ICSE.2000.870435"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Nimmer, J.W., Ernst, M.D.: Automatic generation of program specifications. In: ISSTA 2002. Proc. of the 2002 Int. Symposium on Software Testing and Analysis, Rome, Italy, pp. 229\u2013239 (July\u00a022\u201324, 2002)","DOI":"10.1145\/566172.566213"},{"key":"13_CR14","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 26 th Int. Conf. on Software Engineering, pp. 480\u2013490 (May 2004)","DOI":"10.1109\/ICSE.2004.1317470"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"13_CR16","doi-asserted-by":"publisher","first-page":"1332","DOI":"10.1016\/j.patcog.2005.01.003","volume":"38","author":"C. Higuera de la","year":"2005","unstructured":"de la Higuera, C.: A bibliographical study of grammatical inference. Pattern Recognition\u00a038, 1332\u20131348 (2005)","journal-title":"Pattern Recognition"},{"issue":"3","key":"13_CR17","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 (TOSEM) ACM Transactions on Software Engineering and Methodology\u00a07(3), 215\u2013249 (1998)","journal-title":"(TOSEM) ACM Transactions on Software Engineering and Methodology"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Mariani, L., Pezz\u00e8, M.: A technique for verifying component-based software. In: TACoS 2004. Proc. of Int. Workshop on Test and Analysis of Component Based Systems, pp. 17\u201330 (March 2004)","DOI":"10.1016\/j.entcs.2004.02.089"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-3-540-24617-6_5","volume-title":"Formal Approaches to Software Testing","author":"T. Xie","year":"2004","unstructured":"Xie, T., Notkin, D.: Mutually enhancing test generation and specification inference. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 60\u201369. Springer, Heidelberg (2004)"},{"key":"13_CR20","first-page":"225","volume-title":"FORTE\/PSTV 1999","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, Boston, MA (1999)"},{"key":"13_CR21","unstructured":"Cook, J.E., Du, Z., Liu, C., Wolf, A.L.: Discovering models of behavior for concurrent systems. Technical report, New Mexico State University, Deppartment of Computer Science, NMSU-CS-2002-010. (August 2002)"},{"key":"13_CR22","first-page":"95","volume-title":"HLDVT 2004","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 9 th IEEE Int. Workshop on High Level Design Validation and Test (HLDVT\u201904), Sonoma (CA), USA, pp. 95\u2013100. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Margaria, T., Hinchey, M.G., Raffelt, H., Rash, J., Rouff, C.A., Steffen, B.: Completing and adapting models of biological processes. In: BiCC 2006. Proc. of IFIP Conf. on Biologically Inspired Cooperative Computing, Santiago (Chile) (2006)","DOI":"10.1007\/978-0-387-34733-2_5"},{"key":"13_CR24","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)"},{"issue":"75","key":"13_CR25","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(75), 87\u2013106 (1987)","journal-title":"Information and Computation"},{"issue":"2","key":"13_CR26","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s11334-005-0016-y","volume":"1","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Raffelt, H., Steffen, B.: Knowledge-based relevance filtering for efficient system-level test-based model generation. Innovations in Systems and Software Engineering\u00a01(2), 147\u2013156 (2005)","journal-title":"Innovations in Systems and Software Engineering"},{"issue":"6","key":"13_CR27","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S. Fujiwara","year":"1991","unstructured":"Fujiwara, S., von Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Transactions on Software Engineering\u00a017(6), 591\u2013603 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR28","unstructured":"Rational unified process (seen June 2007), http:\/\/www-306.ibm.com\/software\/awdtools\/rup\/"},{"key":"13_CR29","unstructured":"Mantis bug tracker. (seen June 2007), http:\/\/www.mantisbt.org"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77966-7_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T06:07:19Z","timestamp":1684217239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77966-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540779643","9783540779667"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77966-7_13","relation":{},"subject":[]}}