{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:09:59Z","timestamp":1725901799148},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319614724"},{"type":"electronic","value":"9783319614731"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61473-1_5","type":"book-chapter","created":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T15:10:41Z","timestamp":1497885041000},"page":"69-85","source":"Crossref","is-referenced-by-count":2,"title":["Testing Transformation Models Using Classifying Terms"],"prefix":"10.1007","author":[{"given":"Loli","family":"Burgue\u00f1o","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Hilken","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Vallecillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,20]]},"reference":[{"key":"5_CR1","unstructured":"Aranega, V., Mottu, J.M., Etien, A., Dekeyser, J.L.: Traceability mechanism for error localization in model transformation. In: Proceedings of ICSOFT 2009 (2009)"},{"issue":"5","key":"5_CR2","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1109\/TSE.2014.2375201","volume":"41","author":"L Burgue\u00f1o","year":"2015","unstructured":"Burgue\u00f1o, L., Troya, J., Wimmer, M., Vallecillo, A.: Static fault localization in model transformations. IEEE Trans. Softw. Eng. 41(5), 490\u2013506 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-38883-5_15","volume-title":"Theory and Practice of Model Transformations","author":"F B\u00fcttner","year":"2013","unstructured":"B\u00fcttner, F., Egea, M., Guerra, E., Lara, J.: Checking model transformation refinement. In: Duddy, K., Kappel, G. (eds.) ICMT 2013. LNCS, vol. 7909, pp. 158\u2013173. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-38883-5_15"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TSE.2016.2635137","volume":"1","author":"JS Cuadrado","year":"2016","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Static analysis of model transformations. IEEE Trans. Softw. Eng. 1, 1\u201332 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"5_CR5","first-page":"5","volume":"14","author":"A Cunha","year":"2015","unstructured":"Cunha, A., Garis, A.G., Riesco, D.: Translating between alloy specifications and UML class diagrams annotated with OCL. SoSym 14(1), 5\u201325 (2015)","journal-title":"SoSym"},{"issue":"2","key":"5_CR6","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s10270-007-0074-8","volume":"8","author":"F Fleurey","year":"2009","unstructured":"Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.L.: Qualifying input test data for model transformations. Softw. Syst. Model. 8(2), 185\u2013203 (2009)","journal-title":"Softw. Syst. Model."},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/978-3-642-24485-8_29","volume-title":"Model Driven Engineering Languages and Systems","author":"A Garc\u00eda-Dom\u00ednguez","year":"2011","unstructured":"Garc\u00eda-Dom\u00ednguez, A., Kolovos, D.S., Rose, L.M., Paige, R.F., Medina-Bulo, I.: EUnit: a unit testing framework for model management tasks. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 395\u2013409. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-24485-8_29"},{"key":"5_CR8","unstructured":"Gogolla, M., Hamann, L., Hilken, F.: On static and dynamic analysis of UML and OCL transformation models. In: Proceedings of AMT 2014, CEUR Workshop Proceedings, pp. 24\u201333 (2014). \nhttp:\/\/ceur-ws.org\/Vol-1277\/3.pdf"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-21470-7_16","volume-title":"Modelling Foundations and Applications","author":"M Gogolla","year":"2011","unstructured":"Gogolla, M., Vallecillo, A.: Tractable model transformation testing. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 221\u2013235. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-21470-7_16"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-319-08789-4_3","volume-title":"Theory and Practice of Model Transformations","author":"CA Gonz\u00e1lez","year":"2014","unstructured":"Gonz\u00e1lez, C.A., Cabot, J.: Test data generation for model transformations combining partition and constraint analysis. In: Ruscio, D., Varr\u00f3, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 25\u201341. Springer, Cham (2014). doi:\n10.1007\/978-3-319-08789-4_3"},{"issue":"1","key":"5_CR11","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10515-012-0102-y","volume":"20","author":"E Guerra","year":"2013","unstructured":"Guerra, E., de Lara, J., Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W.: Automated verification of model transformations based on visual contracts. Autom. Softw. Eng. 20(1), 5\u201346 (2013)","journal-title":"Autom. Softw. Eng."},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/978-3-540-75209-7_40","volume-title":"Model Driven Engineering Languages and Systems","author":"M Hibberd","year":"2007","unstructured":"Hibberd, M., Lawley, M., Raymond, K.: Forensic debugging of model transformations. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 589\u2013604. Springer, Heidelberg (2007). doi:\n10.1007\/978-3-540-75209-7_40"},{"key":"5_CR13","unstructured":"Hilken, F., Burgue\u00f1o, L., Gogolla, M., Vallecillo, A.: Iterative development of transformation models by using classifying terms. In: Proceedings of AMT 2015, CEUR Workshop Proceedings, pp. 1\u20136 (2015). \nhttp:\/\/ceur-ws.org\/Vol-1500\/paper2.pdf"},{"key":"5_CR14","unstructured":"Hilken, F., Gogolla, M., Burgue\u00f1o, L., Vallecillo, A.: Testing models and model transformations using classifying terms. Softw. Syst. Model. (2016). \nhttp:\/\/link.springer.com\/article\/10.1007%2Fs10270-016-0568-3"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-04164-8_8","volume-title":"Semantics and Algebraic Specification","author":"F Orejas","year":"2009","unstructured":"Orejas, F., Wirsing, M.: On the specification and verification of model transformations. In: Palsberg, J. (ed.) Semantics and Algebraic Specification. LNCS, vol. 5700, pp. 140\u2013161. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-04164-8_8"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-642-30476-7_2","volume-title":"Theory and Practice of Model Transformations","author":"S Sen","year":"2012","unstructured":"Sen, S., Mottu, J.-M., Tisi, M., Cabot, J.: Using models of partial knowledge to test model transformations. In: Hu, Z., Lara, J. (eds.) ICMT 2012. LNCS, vol. 7307, pp. 24\u201339. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-30476-7_2"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-642-30476-7_4","volume-title":"Theory and Practice of Model Transformations","author":"A Vallecillo","year":"2012","unstructured":"Vallecillo, A., Gogolla, M.: Typing model transformations using tracts. In: Hu, Z., Lara, J. (eds.) ICMT 2012. LNCS, vol. 7307, pp. 56\u201371. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-30476-7_4"},{"key":"5_CR18","doi-asserted-by":"publisher","unstructured":"Wimmer, M., Kappel, G., et al.: A Petri Net based debugging environment for QVT Relations. In: Proceedings of ASE 2009, pp. 3\u201314. IEEE Computer Society, Washington, DC (2009). doi:\n10.1109\/ASE.2009.99","DOI":"10.1109\/ASE.2009.99"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61473-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T15:12:23Z","timestamp":1497885143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61473-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614724","9783319614731"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61473-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}