{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T00:40:06Z","timestamp":1751676006377,"version":"3.41.0"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319929002"},{"type":"electronic","value":"9783319929019"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92901-9_13","type":"book-chapter","created":{"date-parts":[[2018,6,6]],"date-time":"2018-06-06T06:27:41Z","timestamp":1528266461000},"page":"133-147","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Jovanovikj","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"Engels","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony","family":"Anjorin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Sauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,7]]},"reference":[{"key":"13_CR1","unstructured":"Eclipse Java development tools (JDT). https:\/\/www.eclipse.org\/jdt\/"},{"key":"13_CR2","unstructured":"Eclipse Modeling Project. https:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"13_CR3","unstructured":"JUnit. http:\/\/junit.org\/junit4\/"},{"key":"13_CR4","unstructured":"Microsoft Unit Test Framework. https:\/\/msdn.microsoft.com\/en-us\/library\/hh598960.aspx"},{"key":"13_CR5","unstructured":"NUnit. http:\/\/nunit.org\/"},{"key":"13_CR6","unstructured":"Object Constraint Language Specification Version 2.4. http:\/\/www.omg.org\/spec\/OCL\/2.4\/"},{"key":"13_CR7","unstructured":"Tests - org.eclipse.ocl.git - OCL. http:\/\/git.eclipse.org\/c\/ocl\/org.eclipse.ocl.git\/tree\/tests\/"},{"key":"13_CR8","unstructured":"Xtend - Modernized Java. http:\/\/www.eclipse.org\/xtend\/"},{"key":"13_CR9","unstructured":"Architecture-driven Modernization: Abstract Syntax Tree Metamodel (ASTM)- Version 1.0. Object Management Group (2011). http:\/\/www.omg.org\/spec\/ASTM\/1.0\/PDF\/"},{"issue":"5","key":"13_CR10","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1109\/52.795108","volume":"16","author":"J Bisbal","year":"1999","unstructured":"Bisbal, J., Lawless, D., Wu, B., Grimson, J.: Legacy information systems: issues and directions. IEEE Softw. 16(5), 103\u2013111 (1999)","journal-title":"IEEE Softw."},{"key":"13_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-02546-4","volume-title":"Model-Driven Software Engineering in Practice","author":"M Brambilla","year":"2012","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice, 1st edn. Morgan & Claypool Publishers, San Rafael (2012)","edition":"1"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Bruneliere, H., Cabot, J., Jouault, F., Madiot, F.: MoDisco. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering - ASE 2010, p. 173. ACM Press, New York (2010)","DOI":"10.1145\/1858996.1859032"},{"issue":"1","key":"13_CR13","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/52.43044","volume":"7","author":"EJ Chikofsky","year":"1990","unstructured":"Chikofsky, E.J., Cross, J.H.: Reverse engineering and design recovery: a taxonomy. IEEE Softw. 7(1), 13\u201317 (1990)","journal-title":"IEEE Softw."},{"key":"13_CR14","unstructured":"Dai, Z.R.: Model-Driven Testing with UML 2.0. Computing Laboratory, University of Kent (2004)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Dixit, R., Lutteroth, C., Weber, G.: FormTester: effective integration of model-based and manually specified test cases. In: 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering, pp. 745\u2013748. IEEE (2015)","DOI":"10.1109\/ICSE.2015.237"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-540-69489-2_23","volume-title":"Models in Software Engineering","author":"G Engels","year":"2007","unstructured":"Engels, G., G\u00fcldali, B., Lohmann, M.: Towards model-driven unit testing. In: K\u00fchne, T. (ed.) MODELS 2006. LNCS, vol. 4364, pp. 182\u2013192. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-69489-2_23"},{"key":"13_CR17","unstructured":"E.T.S.I.: ETSI Standard ES 201 873\u20131: The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language, V3.1.1 (2005)"},{"key":"13_CR18","unstructured":"E.T.S.I.: ETSI ES 203 1191: Methods for Testing and Specification (MTS); The Test Description Language (TDL); Part 1: Abstract Syntax and Associated Semantics, v1.3.1 (2016)"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1007\/978-3-540-75209-7_33","volume-title":"Model Driven Engineering Languages and Systems","author":"F Fleurey","year":"2007","unstructured":"Fleurey, F., Breton, E., Baudry, B., Nicolas, A., J\u00e9z\u00e9quel, J.-M.: Model-driven engineering for software migration in a large industrial context. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 482\u2013497. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75209-7_33"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Fuhr, A., Winter, A., Erdmenger, U., Horn, T., Kaiser, U., Riediger, V., Teppe, W.: Model-driven software migration - process model, tool support and application. In: Migrating Legacy Applications: Challenges in Service Oriented Architecture and Cloud Computing Environments, pp. 153\u2013184 (2012)","DOI":"10.4018\/978-1-4666-2488-7.ch007"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Grieger, M.: Model-driven software modernization: concept-based engineering of situation-specific methods. Ph.D. thesis, University of Paderborn, Germany (2016)","DOI":"10.1007\/978-3-319-35122-3_14"},{"key":"13_CR22","unstructured":"Gross, H.G.: Testing and the UML: a perfect fit. Technical report 110, Kaiserslautern (2003)"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Heckel, R., Lohmann, M.: Towards model-driven testing. In: Electronic Notes in Theoretical Computer Science. vol. 82, pp. 37\u201347. Elsevier (2003)","DOI":"10.1016\/S1571-0661(04)81023-5"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy systems. IEEE International Test Conference (ITC), Charlotte, NC, 30 September - 2 October 2003 (2003)","DOI":"10.1109\/TEST.2003.1271205"},{"key":"13_CR25","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-01702-5_18","volume-title":"Hardware and Software: Verification and Testing","author":"Antti J\u00e4\u00e4skel\u00e4inen","year":"2009","unstructured":"J\u00e4\u00e4skel\u00e4inen, A., Kervinen, A., Katara, M., Valmari, A., Virtanen, H.: Synthesizing test models from test cases. In: 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing, pp. 179\u2013193 (2009)"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Javed, A.Z., Strooper, P.A., Watson, G.N.: Automated generation of test cases using model-driven architecture. In: Second International Workshop on Automation of Software Test (AST 2007), p. 3. IEEE (2007)","DOI":"10.1109\/AST.2007.2"},{"issue":"1\u20132","key":"13_CR27","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1\u20132), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"13_CR28","unstructured":"Jovanovikj, I., Grieger, M., Yigitbas, E.: Towards a model-driven method for reusing test cases in software migration projects. In: Softwaretechnik-Trends, Proceedings of the 18th Workshop Software-Reengineering & Evolution (WSRE) & 7th Workshop Design for Future (DFF), vol. 32, no. (2), pp. 65\u201366 (2016)"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Kazman, R., Woods, S., Carriere, S.: Requirements for integrating software architecture and reengineering models: CORUM II. In: Proceedings Fifth Working Conference on Reverse Engineering, pp. 154\u2013163. IEEE Computer Society (1998)","DOI":"10.1109\/WCRE.1998.723185"},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"Lamancha, B.P., et al.: Automated model-based testing using the UML testing profile and QVT. In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, pp. 1\u201310 (2009)","DOI":"10.1145\/1656485.1656491"},{"key":"13_CR31","first-page":"155","volume":"275","author":"B Lamancha","year":"2013","unstructured":"Lamancha, B., Reales, P., Polo, M., Caivano, D.: Model-driven test code generation. Commun. Comput. Inf. Sci. 275, 155\u2013168 (2013)","journal-title":"Commun. Comput. Inf. Sci."},{"issue":"2","key":"13_CR32","first-page":"131","volume":"15","author":"A Menychtas","year":"2014","unstructured":"Menychtas, A., et al.: Software modernization and cloudification using the ARTIST migration methodology and framework. Scalable Comput.: Pract. Exp. 15(2), 131\u2013152 (2014)","journal-title":"Scalable Comput.: Pract. Exp."},{"key":"13_CR33","volume-title":"XUnit Test Patterns: Refactoring Test Code","author":"G Meszaros","year":"2007","unstructured":"Meszaros, G.: XUnit Test Patterns: Refactoring Test Code. Addison-Wesley, Boston (2007)"},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"Milani Fard, A., Mirzaaghaei, M., Mesbah, A.: Leveraging existing tests in automated test generation for web applications. In: Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering, pp. 67\u201378 (2014)","DOI":"10.1145\/2642937.2642991"},{"key":"13_CR35","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification, Version 1.1 (2011). http:\/\/www.omg.org\/spec\/QVT\/1.1\/"},{"key":"13_CR36","unstructured":"OMG: UML Testing Profile (UTP), Version 1.2. (2013). http:\/\/www.omg.org\/spec\/UTP\/1.2\/"},{"key":"13_CR37","unstructured":"OMG: Model Driven Architecture (MDA): MDA Guide rev.2.0 (2014). http:\/\/www.omg.org\/cgi-bin\/doc?ormsc\/14-06-01"},{"key":"13_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11498490_13","volume-title":"Model-Based Testing of Reactive Systems","author":"A Pretschner","year":"2005","unstructured":"Pretschner, A., Philipps, J.: 10 methodological issues in model-based testing. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 281\u2013291. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11498490_13"},{"key":"13_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/3-540-44830-6_7","volume-title":"Testing of Communicating Systems","author":"I Schieferdecker","year":"2003","unstructured":"Schieferdecker, I., Dai, Z.R., Grabowski, J., Rennoch, A.: The UML 2.0 testing profile and its relation to TTCN-3. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 79\u201394. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44830-6_7"},{"key":"13_CR40","doi-asserted-by":"crossref","unstructured":"Sneed, H.: Risks involved in reengineering projects. In: Sixth Working Conference on Reverse Engineering, pp. 204\u2013211 (1999)","DOI":"10.1109\/WCRE.1999.806961"},{"key":"13_CR41","doi-asserted-by":"crossref","unstructured":"Ulrich, A., Jell, S., Votintseva, A., Kull, A.: The ETSI test description language TDL and its application. In: 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 601\u2013608 (2014)","DOI":"10.5220\/0004708706010608"},{"key":"13_CR42","unstructured":"Werner, E., Grabowski, J.: Model reconstruction: mining test cases. In: Third International Conference on Advances in System Testing and Validation Lifecycle. VALID 2011 (2011)"}],"container-title":["Lecture Notes in Business Information Processing","Information Systems in the Big Data Era"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92901-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T00:17:45Z","timestamp":1751674665000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-92901-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319929002","9783319929019"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92901-9_13","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"7 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tallinn","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Estonia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/caise2018.ut.ee","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}