{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:29:11Z","timestamp":1725564551833},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540211792"},{"type":"electronic","value":"9783540246268"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24626-8_11","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:32:45Z","timestamp":1283686365000},"page":"167-183","source":"Crossref","is-referenced-by-count":1,"title":["Model Generation for Legacy Systems"],"prefix":"10.1007","author":[{"given":"Hardi","family":"Hungar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"75","key":"11_CR1","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 counter examples. Information and Computation\u00a02(75), 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"11_CR2","unstructured":"The Esterel Synchronous Programming Language: Design, Semantics, Implementation (1992) (Make Corrections) (352 citations) Gerard Berry, Georges Gonthier Science of Computer Programming (1992)"},{"issue":"3","key":"11_CR3","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering\u00a04(3), 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR4","volume-title":"Handbook of theoretical computer science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of theoretical computer science, Elsevier, Amsterdam (1990)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-46002-0_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Groce","year":"2002","unstructured":"Groce, A., Peled, D., Yannakakis, M.: Adaptive model checking. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 357\u2013370. Springer, Heidelberg (2002)"},{"key":"11_CR6","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.) FASE 2002. LNCS, vol.\u00a02306, pp. 80\u201395. Springer, Heidelberg (2002)"},{"key":"11_CR7","unstructured":"Hagerer, A., Margaria, T., Niese, O., Steffen, B., Brune, G., Ide, H.: Efficient regression testing of CTI-systems: Testing a complex call-center solution. In: Annual Review of Communication. Int. Engineering Consortium (IEC), vol.\u00a055 (2001)"},{"issue":"8","key":"11_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"3","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming\u00a03(8), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"11_CR9","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":"11_CR10","unstructured":"Jonsson, B., Margaria, T., Naeser, G., Nystr\u00f6m, J., Steffen, B.: Incremental requirement specification for evolving systems. Nordic Journal of Computing\u00a08(1), 65; Also in Proc. of Feature Interactions in Telecommunications and Software Systems 2000 (2001)"},{"key":"11_CR11","volume-title":"Proc. IEEE European Test Workshop, Corfu (GR)","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: Proc. IEEE European Test Workshop, Corfu (GR), May 2002, IEEE Society Press, Los Alamitos (2002)"},{"key":"11_CR12","unstructured":"Margaria, T., Niese, O., Steffen, B.: A Practical Approach for the Regression Testing of IP-based Applications, invited contribution to the volume IP Applications and Services 2003: A Comprehensive Report IEC, Int. Engineering Consortium Chicago (USA) (2003) ISBN 1-931695-12-1"},{"key":"11_CR13","unstructured":"Margaria, T., Steffen, B.: Lightweight Coarse-grained Coordination: A Scalable System-Level Approach, invited contrib. to the Special Section on Formal Methods in Industrial Critical Systems (Ed. JAco van de Pol) of STTT, Int. Journal on Software Tools for Technology Transfer, Springer Verlag (to appear)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/3-540-36384-X_23","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"T.N. Win","year":"2002","unstructured":"Win, T.N., Ernst, M.D., Garland, S.J., Kirli, D., Lynch, N.: Using simulated execution in verifying distributed algorithms. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol.\u00a02575, pp. 283\u2013297. Springer, Heidelberg (2002)"},{"key":"11_CR15","unstructured":"Niese, O., Margaria, T., Hagerer, A., Nagelmann, M., Steffen, B., Brune, G., Ide, H.: An automated testing environment for CTI systems using concepts for specification and verification of workflows. In: Annual Review of Communication, Int. Engineering Consortium, Chicago, USA, vol.\u00a054, pp. 927\u2013936. IEC (2001)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45314-8_17","volume-title":"Fundamental Approaches to Software Engineering","author":"O. Niese","year":"2001","unstructured":"Niese, O., Steffen, B., Margaria, T., Hagerer, A., Brune, G., Ide, H.: Library-based design and consistency checks of system-level industrial test cases. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 233\u2013248. Springer, Heidelberg (2001)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0023444","volume-title":"STACS 97","author":"B. Steffen","year":"1997","unstructured":"Steffen, B.: Unifying models. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol.\u00a01200, pp. 1\u201320. Springer, Heidelberg (1997)"},{"key":"11_CR18","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":"11_CR19","first-page":"98","volume":"4","author":"M.P. Vasilevskii","year":"1973","unstructured":"Vasilevskii, M.P.: Failure diagnosis of automata. Kibernetika\u00a04, 98\u2013108 (1973)","journal-title":"Kibernetika"}],"container-title":["Lecture Notes in Computer Science","Radical Innovations of Software and Systems Engineering in the Future"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24626-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T00:49:22Z","timestamp":1553042962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24626-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540211792","9783540246268"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24626-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}