{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:13:07Z","timestamp":1750306387603,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,30]],"date-time":"2015-08-30T00:00:00Z","timestamp":1440892800000},"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":[[2015,8,30]]},"DOI":"10.1145\/2804322.2804323","type":"proceedings-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T14:09:20Z","timestamp":1440425360000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Model-driven test case design for model-to-model semantics preservation"],"prefix":"10.1145","author":[{"given":"Christopher","family":"Gerking","sequence":"first","affiliation":[{"name":"University of Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Ladleif","sequence":"additional","affiliation":[{"name":"University of Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"additional","affiliation":[{"name":"University of Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"volume-title":"Proceedings of the ECMDA Workshop on Integration of Model Driven Development and Model Driven Testing. Fraunhofer IRB","year":"2006","author":"Baudry B.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1743546.1743583"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591142"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"J.\n       \n      Bengtsson K. G.\n       \n      Larsen F.\n       \n      Larsson P.\n       \n      Pettersson and \n      \n      \n      W.\n       \n      Yi\n      \n  \n  . \n  Uppaal \u2013 a tool suite for automatic verification of real-time systems. In R. Alur T. A. Henzinger and E. D. Sontag editors Hybrid Systems III volume \n  1066\n   of \n  LNCS pages 232\u2013\n  243 Berlin\/Heidelberg 1996\n  . \n  Springer\n  .   J. Bengtsson K. G. Larsen F. Larsson P. Pettersson and W. Yi. Uppaal \u2013 a tool suite for automatic verification of real-time systems. In R. Alur T. A. Henzinger and E. D. Sontag editors Hybrid Systems III volume 1066 of LNCS pages 232\u2013243 Berlin\/Heidelberg 1996. Springer.","DOI":"10.1007\/BFb0020949"},{"issue":"2","key":"e_1_3_2_1_6_1","first-page":"29","article-title":"Model differences in the Eclipse Modelling Framework","volume":"9","author":"Brun C.","year":"2008","journal-title":"CEPIS Upgrade"},{"volume-title":"Cambridge\/London","year":"2000","author":"Clarke E. M.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"A.\n       \n      Garc\u00b4\u0131a-Dom\u00b4\u0131nguez D. S.\n       \n      Kolovos L. M.\n       \n      Rose R. F.\n       \n      Paige and \n      \n      \n      I.\n       \n      Medina-Bulo\n      \n  \n  . \n  EUnit: A unit testing framework for model management tasks. In J. Whittle T. Clark and T. K\u00fchne editors Model Driven Engineering Languages and Systems 14th International Conference MODELS\n   \n  2011 volume \n  6981\n   of \n  LNCS pages 395\u2013\n  409 Berlin\/Heidelberg 2011. \n  Springer\n  .   A. Garc\u00b4\u0131a-Dom\u00b4\u0131nguez D. S. Kolovos L. M. Rose R. F. Paige and I. Medina-Bulo. EUnit: A unit testing framework for model management tasks. In J. Whittle T. Clark and T. K\u00fchne editors Model Driven Engineering Languages and Systems 14th International Conference MODELS 2011 volume 6981 of LNCS pages 395\u2013409 Berlin\/Heidelberg 2011. Springer.","DOI":"10.1007\/978-3-642-24485-8_29"},{"key":"e_1_3_2_1_9_1","series-title":"LNCS","first-page":"235","volume-title":"7th European Conference, ECMFA","author":"Gogolla M.","year":"2011"},{"key":"e_1_3_2_1_10_1","series-title":"LNCS","first-page":"198","volume-title":"8th International Conference, IFM","author":"H\u00fclsbusch M.","year":"2010"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/368996.369025"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.391832"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138304.1138308"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_60"},{"key":"e_1_3_2_1_15_1","unstructured":"N. D.\n       \n      Matragkas D. S.\n       \n      Kolovos R. F.\n       \n      Paige and \n      \n      \n      A.\n       \n      Zolotas\n      \n  \n  . \n  A traceability-driven approach to model transformation testing. In B. Baudry J. Dingel L. Lucio and H. Vangheluwe editors Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT\n   \n  2013\n  ) volume \n  1077\n   of \n  CEUR Workshop Proceedings 2013.  N. D. Matragkas D. S. Kolovos R. F. Paige and A. Zolotas. A traceability-driven approach to model transformation testing. In B. Baudry J. Dingel L. Lucio and H. Vangheluwe editors Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013) volume 1077 of CEUR Workshop Proceedings 2013."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.27"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.041"},{"key":"e_1_3_2_1_18_1","unstructured":"Object Management Group. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. Number formal\/15-02-01. 2015.  Object Management Group. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. Number formal\/15-02-01. 2015."},{"key":"e_1_3_2_1_19_1","unstructured":"D. Steinberg F. Budinsky M. Paternostro and E. Merks. EMF: Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley 2nd edition 2008.   D. Steinberg F. Budinsky M. Paternostro and E. Merks. EMF: Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley 2nd edition 2008."},{"key":"e_1_3_2_1_20_1","first-page":"78","volume-title":"2rd International Workshop on Critical Systems Development with UML (CSD-UML 2003","author":"Varr\u00f3 D.","year":"2003"}],"event":{"name":"ESEC\/FSE'15: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Bergamo Italy","acronym":"ESEC\/FSE'15"},"container-title":["Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2804322.2804323","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2804322.2804323","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:10Z","timestamp":1750223230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2804322.2804323"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,30]]},"references-count":20,"alternative-id":["10.1145\/2804322.2804323","10.1145\/2804322"],"URL":"https:\/\/doi.org\/10.1145\/2804322.2804323","relation":{},"subject":[],"published":{"date-parts":[[2015,8,30]]},"assertion":[{"value":"2015-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}