{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:48:06Z","timestamp":1771573686867,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,5]],"date-time":"2005-09-05T00:00:00Z","timestamp":1125878400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9,5]]},"DOI":"10.1145\/1081180.1081189","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"62-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":58,"title":["LearnLib"],"prefix":"10.1145","author":[{"given":"Harald","family":"Raffelt","sequence":"first","affiliation":[{"name":"University of Dortmund, Dortmund, Germany"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[{"name":"University of Dortmund, Dortmund, Germany"}]},{"given":"Therese","family":"Berg","sequence":"additional","affiliation":[{"name":"Uppsala University, Uppsala, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2005,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_2_1","volume-title":"An Open Software Architecture for Verification, Simulation, and Testing Tools and Algorithms for the Construction and Analysis of Systems (TACAS98), 68--84","author":"Hubert Garavel","year":"1998","unstructured":"Hubert Garavel OPEN\/CAESAR : An Open Software Architecture for Verification, Simulation, and Testing Tools and Algorithms for the Construction and Analysis of Systems (TACAS98), 68--84 , 1998 Hubert Garavel OPEN\/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing Tools and Algorithms for the Construction and Analysis of Systems (TACAS98), 68--84, 1998"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999452"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"e_1_3_2_1_5_1","volume-title":"Discovering Models of Behavior for Concurrent Systems Tech. rep","author":"Cook J. E.","year":"2002","unstructured":"J. E. Cook , Z. Du , C. Liu , A. L. Wolf . Discovering Models of Behavior for Concurrent Systems Tech. rep . New Mexico State University , Dept . of Computer Science, Aug. 2002 J. E. Cook, Z. Du, C. Liu, A. L. Wolf. Discovering Models of Behavior for Concurrent Systems Tech. rep. New Mexico State University, Dept. of Computer Science, Aug. 2002"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337240"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.87284"},{"key":"e_1_3_2_1_9_1","volume-title":"Ito The UIOv-Method for Protocol Test Sequence Generation Proc. 2nd Int. Workshop on Protocol Test Systems, 161--176","author":"Vuong S.T.","year":"1990","unstructured":"S.T. Vuong , W.Y.L. Chan , M. R. Ito The UIOv-Method for Protocol Test Sequence Generation Proc. 2nd Int. Workshop on Protocol Test Systems, 161--176 , 1990 S.T. Vuong, W.Y.L. Chan, M.R. Ito The UIOv-Method for Protocol Test Sequence Generation Proc. 2nd Int. Workshop on Protocol Test Systems, 161--176, 1990"},{"key":"e_1_3_2_1_10_1","volume-title":"Anton T. Dahbura Protocol Conformance Testing Using Multiple UIO Sequences Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX, 131--143","author":"Shen Yinan N.","year":"1990","unstructured":"Yinan N. Shen , Fabrizio Lombardi , Anton T. Dahbura Protocol Conformance Testing Using Multiple UIO Sequences Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX, 131--143 , 1990 Yinan N. Shen, Fabrizio Lombardi, Anton T. Dahbura Protocol Conformance Testing Using Multiple UIO Sequences Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX, 131--143, 1990"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_14"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/645370.651305"},{"key":"e_1_3_2_1_13_1","volume-title":"IEEE International Test Conference (ITC)","author":"Hungar H.","year":"2003","unstructured":"H. Hungar , T. Margaria , B. Steffen : Test-Based Model Generation for Legacy Systems , IEEE International Test Conference (ITC) , Charlotte, NC, September 30 -- October 2, 2003 . H. Hungar, T. Margaria, B. Steffen: Test-Based Model Generation for Legacy Systems, IEEE International Test Conference (ITC), Charlotte, NC, September 30 -- October 2, 2003."},{"key":"e_1_3_2_1_14_1","volume-title":"B. Steffen Analyzing Second-Order Effects Between Optimizations for System-Level Test-Based Model Generation IEEE International Test Conference (ITC)","author":"Margaria T.","year":"2005","unstructured":"T. Margaria , H. Raffelt , B. Steffen Analyzing Second-Order Effects Between Optimizations for System-Level Test-Based Model Generation IEEE International Test Conference (ITC) , Austin, TX from November 8 -- 10 , 2005 . T. Margaria, H. Raffelt, B. Steffen Analyzing Second-Order Effects Between Optimizations for System-Level Test-Based Model Generation IEEE International Test Conference (ITC), Austin, TX from November 8 -- 10, 2005."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_31"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2005.59"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETW.2002.1029641"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_38"},{"key":"e_1_3_2_1_20_1","volume-title":"Workshop on Test and Analysis of Component Based Systems, TACOS 2004","author":"Mariani L.","year":"2004","unstructured":"L. Mariani , Mauro Pezz\u00e8 . A technique for verifying component-based software Proceeding of the Int . Workshop on Test and Analysis of Component Based Systems, TACOS 2004 , Barcelona , March 2004 L. Mariani, Mauro Pezz\u00e8. A technique for verifying component-based software Proceeding of the Int. Workshop on Test and Analysis of Component Based Systems, TACOS 2004, Barcelona, March 2004"},{"key":"e_1_3_2_1_21_1","first-page":"233","volume-title":"Proc. FASE 2001:  4th International Conference on Fundamental Approaches to Software Engineering, Italy","author":"Niese Oliver","year":"2001","unstructured":"Oliver Niese , Bernhard Steffen , Tiziana Margaria , Andreas Hagerer , Georg Brune , Hans-Dieter Ide: Library-Based Design and Consistency Checking of System-Level Industrial Test Cases . Proc. FASE 2001: 4th International Conference on Fundamental Approaches to Software Engineering, Italy , April 2-6, 2001 , Lecture Notes in Computer Science 2029 Springer 2001, pp. 233 -- 248 . Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide: Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. Proc. FASE 2001: 4th International Conference on Fundamental Approaches to Software Engineering, Italy, April 2-6, 2001, Lecture Notes in Computer Science 2029 Springer 2001, pp. 233--248."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566213"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-0-387-35578-8_13","volume-title":"Yannakakis Black Box Checking Formal Methods for Protocol Engineering and Distributed Systems, (FORTE\/PSTV)","author":"Peled D.","year":"1999","unstructured":"D. Peled , M. Y. Vardi , M. Yannakakis Black Box Checking Formal Methods for Protocol Engineering and Distributed Systems, (FORTE\/PSTV) , pp. 225 -- 240 , 1999 , Kluwer . D. Peled, M. Y. Vardi, M. Yannakakis Black Box Checking Formal Methods for Protocol Engineering and Distributed Systems, (FORTE\/PSTV), pp. 225--240, 1999, Kluwer."},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. 4th Int. Conf. on Verification, Model Checking and Abstract Interpretation, LNCS 2575","author":"Steffen B.","year":"2003","unstructured":"B. Steffen and H. Hungar , Behavior-based model construction. In S. Mukhopadhyay and L. Zuck, editors , Proc. 4th Int. Conf. on Verification, Model Checking and Abstract Interpretation, LNCS 2575 , Springer 2003 . B. Steffen and H. Hungar, Behavior-based model construction. In S. Mukhopadhyay and L. Zuck, editors, Proc. 4th Int. Conf. on Verification, Model Checking and Abstract Interpretation, LNCS 2575, Springer 2003."},{"key":"e_1_3_2_1_25_1","first-page":"60","volume-title":"Proceedings of 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003","volume":"2931","author":"Xie T.","year":"2003","unstructured":"T. Xie , D. Notkin Mutually Enhancing Test Generation and Specification Inference . In Proceedings of 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003 ), LNCS Vol. 2931 , Springer , pp. 60 -- 69 , Oct. 2003 . T. Xie, D. Notkin Mutually Enhancing Test Generation and Specification Inference. In Proceedings of 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003), LNCS Vol. 2931, Springer, pp. 60--69, Oct. 2003."},{"key":"e_1_3_2_1_26_1","first-page":"233","volume-title":"Proc. FASE 2001, LNCS 2029","author":"Niese O.","year":"2001","unstructured":"O. Niese , B. Steffen , T. Margaria , A. Hagerer , G. Brune , and H. Ide . Library-based design and consistency checks of system-level industrial test cases. In H. Hu\u03b2mann, editor , Proc. FASE 2001, LNCS 2029 , pages 233 -- 248 . Springer Verlag , 2001 . O. Niese, B. Steffen, T. Margaria, A. Hagerer, G. Brune, and H. Ide. Library-based design and consistency checks of system-level industrial test cases. In H. Hu\u03b2mann, editor, Proc. FASE 2001, LNCS 2029, pages 233--248. Springer Verlag, 2001."},{"key":"e_1_3_2_1_27_1","volume-title":"Annual Review of Communication","author":"Hagerer A.","year":"2001","unstructured":"A. Hagerer , T. Margaria , O. Niese , B. Steffen , G. Brune , and H. Ide . Efficient regression testing of CTI-systems: Testing a complex call-center solution . In Annual Review of Communication , volume 55 . Int. Engineering Consortium (IEC) , 2001 . A. Hagerer, T. Margaria, O. Niese, B. Steffen, G. Brune, and H. Ide. Efficient regression testing of CTI-systems: Testing a complex call-center solution. In Annual Review of Communication, volume 55. Int. Engineering Consortium (IEC), 2001."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2004.1431246"}],"event":{"name":"FMICS05: Tenth International Workshop on Formal Methods in Industrial Criticial Systems 2005","location":"Lisbon Portugal","acronym":"FMICS05","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 10th international workshop on Formal methods for industrial critical systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081180.1081189","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1081180.1081189","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:33Z","timestamp":1750262913000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081180.1081189"}},"subtitle":["a library for automata learning and experimentation"],"short-title":[],"issued":{"date-parts":[[2005,9,5]]},"references-count":28,"alternative-id":["10.1145\/1081180.1081189","10.1145\/1081180"],"URL":"https:\/\/doi.org\/10.1145\/1081180.1081189","relation":{},"subject":[],"published":{"date-parts":[[2005,9,5]]},"assertion":[{"value":"2005-09-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}