{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:11:45Z","timestamp":1775873505096,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540433538","type":"print"},{"value":"9783540459231","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45923-5_6","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:13Z","timestamp":1269882733000},"page":"80-95","source":"Crossref","is-referenced-by-count":75,"title":["Model Generation by Moderated Regular Extrapolation"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Hagerer","sequence":"first","affiliation":[]},{"given":"Hardi","family":"Hungar","sequence":"additional","affiliation":[]},{"given":"Oliver","family":"Niese","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"issue":"75","key":"6_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"2","author":"D. Angluin","year":"1987","unstructured":"D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 2(75):87\u2013106, 1987.","journal-title":"Information and Computation"},{"key":"6_CR2","unstructured":"E. Brinksma. A theory for the derivation of tests. Proc. of PSTV VIII, pages 63\u201374, 1988."},{"issue":"3","key":"6_CR3","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"T.S. Chow. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, 4(3):178\u2013187, 1978.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR4","unstructured":"European Computer Manufactures Association (ECMA). Services for computer supported telecommunications applications (CSTA) phase II\/III, 1994\/1998."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of theoretical computer science. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"6_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Using on-the-fly verification techniques for the generation of test suites","author":"J.C. Fernandez","year":"1996","unstructured":"J.C. Fernandez, C. Jard, T. J\u00e9ron, L. Nedelka, C. Viho. Using on-the-fly verification techniques for the generation of test suites. In Proc. CAV 1996, LNCS 1102. Springer Verlag, 1996"},{"issue":"6","key":"6_CR7","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S. Fujiwara","year":"1991","unstructured":"S. Fujiwara, G. von Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi. Test selection based on finite state models. IEEE Trans. on Software Engineering, 17(6):591\u2013603, 1991.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"A. Hagerer, H. Hungar, T. Margaria, O. Niese, B. Steffen, and H.-D. Ide. Demonstration of an operational procedure for the model-based testing of CTI systems. In Proc. of the 5th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2002), this Volume.","DOI":"10.1007\/3-540-45923-5_25"},{"key":"6_CR9","unstructured":"J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979."},{"key":"6_CR10","unstructured":"B. Jonsson, T. Margaria, G. Naeser, J. Nystr\u00f6m, and B. Steffen. Incremental requirement specification for evolving systems. Nordic Journal of Computing, vol. 8(1):65, Also in Proc. of Feature Interactions in Telecommunications and Software Systems 2000, 2001."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"M.J. Kearns and U.V. Vazirani. An Introduction to Computational Learning Theory. MIT Press, 1994.","DOI":"10.7551\/mitpress\/3897.001.0001"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"D. Lee and M. Yannakakis. Principles and methods of testing finite state machines \u2014 A survey. In Proc. of the IEEE, volume 84, pages 1090\u20131123, 1996.","DOI":"10.1109\/5.533956"},{"key":"6_CR13","series-title":"Lect Notes Comput Sci","first-page":"279","volume-title":"Petri Nets, Applications and Relationship to other Models of Concurrency","author":"A. Mazurkiewicz","year":"1987","unstructured":"A. Mazurkiewicz. Trace theory. Petri Nets, Applications and Relationship to other Models of Concurrency, LNCS 255, pages 279\u2013324. Springer Verlag, 1987."},{"key":"6_CR14","unstructured":"O. Niese, T. Margaria, A. Hagerer, M. Nagelmann, B. Steffen, G. Brune, and H. Ide. An automated testing environment for CTI systems using concepts for specification and verification of workflows. Annual Review of Communication, 54, 2000."},{"key":"6_CR15","unstructured":"O. Niese, T. Margaria, and B. Steffen. Automated functional testing of web-based applications. In Proc. QWE 2001, 2001."},{"key":"6_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-45314-8_17","volume-title":"Library-based design and consistency checks of system-level industrial test cases","author":"O. Niese","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\u2013248. Springer Verlag, 2001."},{"key":"6_CR17","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Unifying models","author":"B. Steffen","year":"1997","unstructured":"B. Steffen. Unifying models. In R. Reischuk and M. Morvan, editors, Proc. STACS\u201997, LNCS 1200, pages 1\u201320. Springer Verlag, 1997."},{"key":"6_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-61739-6_31","volume-title":"Property oriented expansion","author":"B. Steffen","year":"1996","unstructured":"B. Steffen. Property oriented expansion. In Proc. Int. Static Analysis Symposium (SAS\u201996), LNCS 1145, pages 22\u201341. Springer Verlag, 996."},{"key":"6_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"METAFrame in Practice: Design of Intelligent Network Services","author":"B. Steffen","year":"1999","unstructured":"B. Steffen and T. Margaria. METAFrame in Practice: Design of Intelligent Network Services, LNCS 1710, pages 390\u2013415. Springer Verlag, 1999."},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Q.M. Tan and A. Petrenko. Test generation for specifications modeled by input\/ output automata. In In Proc. Of 11th IFIP Workshop on Testing of Communicating Systems (IWTCS\u201998), pages 83\u201399, 1998.","DOI":"10.1007\/978-0-387-35381-4_6"},{"key":"6_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-61042-1_42","volume-title":"Test generation with inputs, outputs, and quiescence","author":"J. Tretmans","year":"1996","unstructured":"J. Tretmans. Test generation with inputs, outputs, and quiescence. In Proc. TACAS\u201996, LNCS 1055, pages 127\u2013146. Springer Verlag, 1996."},{"issue":"11","key":"6_CR22","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"L.G. Valiant","year":"1984","unstructured":"L.G. Valiant. A theory of the learnable. Communications of the ACM, 27(11):1134\u20131142, 1984.","journal-title":"Communications of the ACM"},{"key":"6_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/3-540-56922-7_33","volume-title":"On-the-fly verification with stubborn sets","author":"A. Valmari","year":"1993","unstructured":"A. Valmari. On-the-fly verification with stubborn sets. In Proc. CAV 1993, LNCS 697, pages 397\u2013408. Springer Verlag, 1993."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45923-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T01:42:02Z","timestamp":1550972522000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45923-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433538","9783540459231"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45923-5_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}