{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T02:06:46Z","timestamp":1769738806469,"version":"3.49.0"},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,12,9]],"date-time":"2016-12-09T00:00:00Z","timestamp":1481241600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Spanish Research Project","award":["TIN2014-52034-R"],"award-info":[{"award-number":["TIN2014-52034-R"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1007\/s10270-016-0568-3","type":"journal-article","created":{"date-parts":[[2016,12,9]],"date-time":"2016-12-09T05:49:56Z","timestamp":1481262596000},"page":"885-912","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Testing models and model transformations using classifying terms"],"prefix":"10.1007","volume":"17","author":[{"given":"Frank","family":"Hilken","sequence":"first","affiliation":[]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[]},{"given":"Loli","family":"Burgue\u00f1o","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Vallecillo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,9]]},"reference":[{"key":"568_CR1","unstructured":"Amrani, M., Syriani, E., Wimmer, M. (eds.): Proceedings of the VOLT WS, CEUR WS, vol. 1325 (2014)"},{"issue":"1","key":"568_CR2","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to alloy. Softw. Syst. Model. 9(1), 69\u201386 (2010)","journal-title":"Softw. Syst. Model."},{"key":"568_CR3","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1002\/stvr.270","volume":"13","author":"AA Andrews","year":"2003","unstructured":"Andrews, A.A., France, R., Ghosh, S., Craig, G.: Test adequacy criteria for UML design models. Softw. Test. Verif. Reliab. 13, 95\u2013127 (2003)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"568_CR4","unstructured":"Aranega, V., Mottu, J.M., Etien, A., Dekeyser, J.L.: Traceability mechanism for error localization in model transformation. In: Proceedings of ICSOFT\u201909 (2009)"},{"issue":"8","key":"568_CR5","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1109\/TSE.2004.43","volume":"30","author":"E Arisholm","year":"2004","unstructured":"Arisholm, E., Sj\u00f8berg, D.I.: Evaluating the effect of a delegated versus centralized control style on the maintainability of object-oriented software. IEEE Trans. Softw. Eng. 30(8), 521\u2013534 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"568_CR6","unstructured":"Baudry, B., Dinh-Trong, T., Mottu, J., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Le\u00a0Traon, Y.: Model transformation testing challenges. In: ECMDA WS. on Integration of MDD and Model Driven Testing (2006)"},{"key":"568_CR7","unstructured":"Burgue\u00f1o, L., Wimmer, M., Troya, J., Vallecillo, A.: Tractstool: Testing model transformations based on contracts. In: Joint Proceedings of MODELS\u201913 Demos, Posters, Student Research Competition, CEUR Workshop Proceedings, vol. 1115, pp. 76\u201380. CEUR-WS.org (2013)"},{"issue":"5","key":"568_CR8","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., Wimmer, M., Troya, J., Vallecillo, A.: Static fault localization in model transformations. IEEE Trans. Softw. Eng. 41(5), 490\u2013506 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"568_CR9","volume-title":"Practical Software Testing","author":"I Burnstein","year":"2003","unstructured":"Burnstein, I.: Practical Software Testing. Springer, New York (2003)"},{"key":"568_CR10","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML\/OCL models using constraint programming. In: Proceedings of ASE\u201907, pp. 547\u2013548. ACM (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"568_CR11","unstructured":"Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: Proceedings of the OCL and Model Driven Engineering Workshop (2004)"},{"key":"568_CR12","doi-asserted-by":"crossref","unstructured":"Ciancone, A., Filieri, A., Mirandola, R.: MANTra: Towards model transformation testing. In: IEEE Proceedings of QUATIC\u201910, pp. 97\u2013105 (2010)","DOI":"10.1109\/QUATIC.2010.15"},{"key":"568_CR13","unstructured":"Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: JTL: a bidirectional and change propagating transformation language. In: Proceedings of SLE\u201910, no. 6563 in LNCS, pp. 183\u2013202. Springer (2011). http:\/\/jtl.di.univaq.it\/"},{"key":"568_CR14","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional transformations: a cross-discipline perspective. In: Proceedings of ICMT 2009, no. 5563 in LNCS, pp. 260\u2013283. Springer (2009)","DOI":"10.1007\/978-3-642-02408-5_19"},{"key":"568_CR15","unstructured":"Dingel, J., de\u00a0Lara, J., Lucio, L., Vangheluwe, H. (eds.): Proceedings of the AMT WS., CEUR WS. Proc., vol. 1277 (2014)"},{"key":"568_CR16","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From state- to delta-based bidirectional model transformations: the symmetric case. In: Proceedings of MODELS\u201911, LNCS, vol. 6981, pp. 304\u2013318. Springer (2011)","DOI":"10.1007\/978-3-642-24485-8_22"},{"key":"568_CR17","doi-asserted-by":"crossref","unstructured":"Diskin, Z.: Algebraic models for bidirectional model synchronization. In: Proceedings of MODELS\u201908, LNCS, vol. 5301, pp. 21\u201336. Springer (2008)","DOI":"10.1007\/978-3-540-87875-9_2"},{"issue":"6","key":"568_CR18","first-page":"1","volume":"10","author":"Z Diskin","year":"2011","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: From state- to delta-based bidirectional model transformations: the asymmetric case. J. Object Technol. 10(6), 1\u201325 (2011)","journal-title":"J. Object Technol."},{"key":"568_CR19","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/s10270-008-0095-y","volume":"8","author":"K Ehrig","year":"2009","unstructured":"Ehrig, K., K\u00fcster, J.M., Taentzer, G.: Generating instance models from meta models. Softw. Syst. Model. 8, 479\u2013500 (2009)","journal-title":"Softw. Syst. Model."},{"key":"568_CR20","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3) (2007)","DOI":"10.1145\/1232420.1232424"},{"issue":"9","key":"568_CR21","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1145\/1411203.1411257","volume":"43","author":"N Foster","year":"2008","unstructured":"Foster, N., Pilkiewicz, A., Pierce, B.C.: Quotient lenses. SIGPLAN Not. 43(9), 383\u2013396 (2008)","journal-title":"SIGPLAN Not."},{"key":"568_CR22","unstructured":"Gabmeyer, S., Brosch, P., Seidl, M.: A classification of model checking-based verification approaches for software models. In: Proceedings of the 1st VOLT Workshop (2013)"},{"key":"568_CR23","doi-asserted-by":"crossref","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: Proceedings of MODELS\u201911, no. 6981 in LNCS, pp. 395\u2013409. Springer (2011)","DOI":"10.1007\/978-3-642-24485-8_29"},{"key":"568_CR24","doi-asserted-by":"crossref","unstructured":"Giner, P., Pelechano, V.: Test-driven development of model transformations. In: Proceedings of MODELS\u201909, LNCS, vol. 5795, pp. 748\u2013752. Springer (2009)","DOI":"10.1007\/978-3-642-04425-0_61"},{"key":"568_CR25","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Kuhlmann, M., Hamann, L.: Consistency, independence and consequences in UML and OCL models. In: Proceedings of TAP\u201909, LNCS, vol. 5668, pp. 90\u2013104. Springer (2009)","DOI":"10.1007\/978-3-642-02949-3_8"},{"key":"568_CR26","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Vallecillo, A., Burgue\u00f1o, L., Hilken, F.: Employing classifying terms for testing model transformations. In: IEEE Proceedings of MODELS\u201915, pp. 312\u2013321 (2015)","DOI":"10.1109\/MODELS.2015.7338262"},{"key":"568_CR27","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Vallecillo, A.: Tractable model transformation testing. In: Proceedings of ECMFA\u201911, no. 6698 in LNCS, pp. 221\u2013236. Springer (2011)","DOI":"10.1007\/978-3-642-21470-7_16"},{"issue":"4","key":"568_CR28","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. Softw. Syst. Model. 4(4), 386\u2013398 (2005)","journal-title":"Softw. Syst. Model."},{"key":"568_CR29","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez, C.A., Cabot, J.: ATLTest: a white-box test generation approach for ATL transformations. In: Proceedings of MODELS\u201912, LNCS, vol. 7590, pp. 449\u2013464. Springer (2012)","DOI":"10.1007\/978-3-642-33666-9_29"},{"key":"568_CR30","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez, C.A., Cabot, J.: Test data generation for model transformations combining partition and constraint analysis. In: Proceedings of ICMT\u201914, LNCS, vol. 8568, pp. 25\u201341. Springer (2014)","DOI":"10.1007\/978-3-319-08789-4_3"},{"issue":"3","key":"568_CR31","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1002\/stvr.319","volume":"15","author":"M Grindal","year":"2005","unstructured":"Grindal, M., Offutt, J., Andler, S.F.: Combination testing strategies: a survey. Softw. Test. Verif. Reliab. 15(3), 167\u2013199 (2005)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"568_CR32","unstructured":"Group, A.: Atl zoo (2016). http:\/\/www.eclipse.org\/atl\/atlTransformations\/"},{"issue":"3","key":"568_CR33","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1007\/s10270-011-0211-2","volume":"12","author":"E Guerra","year":"2013","unstructured":"Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F., Santos, O.: Engineering model transformations with transML. Softw. Syst. Model. 12(3), 555\u2013577 (2013)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"568_CR34","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":"568_CR35","doi-asserted-by":"crossref","unstructured":"Hibberd, M., Lawley, M., Raymond, K.: Forensic debugging of model transformations. In: Proceedings of MODELS\u201907, LNCS, vol. 4735, pp. 589\u2013604. Springer (2007)","DOI":"10.1007\/978-3-540-75209-7_40"},{"key":"568_CR36","unstructured":"Hilken, F., Burgue\u00f1o, L., Gogolla, M., Vallecillo, A.: Iterative development of transformation models by using classifying terms. In: Proceedings of AMT\u201915, CEUR Workshop Proceedings, vol. 1500, pp. 1\u20136. CEUR-WS.org (2015)"},{"key":"568_CR37","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1023\/A:1026586415054","volume":"5","author":"M H\u00f6st","year":"2000","unstructured":"H\u00f6st, M., Regnell, B., Wohlin, C.: Using students as subjects\u2013a comparative study of students and professionals in lead-time impact assessment. Empir. Softw. Eng. 5, 201\u2013214 (2000)","journal-title":"Empir. Softw. Eng."},{"issue":"1\u20132","key":"568_CR38","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10990-008-9025-5","volume":"21","author":"Z Hu","year":"2008","unstructured":"Hu, Z., Mu, S., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. High. Order Symb. Comput. 21(1\u20132), 89\u2013118 (2008)","journal-title":"High. Order Symb. Comput."},{"key":"568_CR39","unstructured":"ISO\/IEC 25010:2011: Systems and software engineering\u2014systems and software quality requirements and evaluation (SQuaRE)\u2014system and software quality models. In: ISO\/IEC (2011)"},{"key":"568_CR40","unstructured":"ISO\/IEC 25022:2016: Systems and software engineering\u2013systems and software quality requirements and evaluation (SQuaRE)\u2013measurement of quality in use. In: ISO\/IEC (2011)"},{"key":"568_CR41","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)"},{"key":"568_CR42","unstructured":"KPIT medini Technologies: Medini-QVT tool. http:\/\/projects.ikv.de\/qvt\/"},{"key":"568_CR43","doi-asserted-by":"crossref","unstructured":"Kuhlmann, M., Gogolla, M.: From UML and OCL to relational logic and back. In: Model Driven Engineering Languages and Systems, LNCS, vol. 7590, pp. 415\u2013431. Springer (2012)","DOI":"10.1007\/978-3-642-33666-9_27"},{"key":"568_CR44","unstructured":"L\u00e4mmel, R.: Coupled software transformations (extended abstract). In: First International Workshop on Software Evolution Transformations (2004)"},{"issue":"10","key":"568_CR45","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Comput. 25(10), 40\u201351 (1992)","journal-title":"IEEE Comput."},{"key":"568_CR46","doi-asserted-by":"crossref","unstructured":"Mu, S.C., Hu, Z., Takeichi, M.: An algebraic approach to bi-directional updating. In: Proceedings of APLAS 2004, no. 3302 in LNCS, pp. 2\u201318. Springer (2004)","DOI":"10.1007\/978-3-540-30477-7_2"},{"key":"568_CR47","unstructured":"Offutt, J., Irvine, A.: Testing object-oriented software using the category-partition method. In: Proceedings of TOOLS USA\u201995, pp. 293\u2013304 (1995)"},{"issue":"3","key":"568_CR48","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1007\/s10664-012-9229-5","volume":"19","author":"J Offutt","year":"2014","unstructured":"Offutt, J., Alluri, C.: An industrial study of applying input space partitioning to test financial calculation engines. Empir. Softw. Eng. 19(3), 558\u2013581 (2014). doi: 10.1007\/s10664-012-9229-5","journal-title":"Empir. Softw. Eng."},{"key":"568_CR49","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation. Version 1.2. Object Management Group (2015)"},{"issue":"6","key":"568_CR50","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"TJ Ostrand","year":"1988","unstructured":"Ostrand, T.J., Balcer, M.J.: The category-partition method for specifying and generating fuctional tests. Commun. ACM 31(6), 676\u2013686 (1988). doi: 10.1145\/62959.62964","journal-title":"Commun. ACM"},{"key":"568_CR51","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.datak.2011.09.004","volume":"73","author":"A Queralt","year":"2012","unstructured":"Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-lite: finite reasoning on UML\/OCL conceptual schemas. Data Knowl. Eng. 73, 1\u201322 (2012)","journal-title":"Data Knowl. Eng."},{"key":"568_CR52","unstructured":"Rold\u00e1n, M., Dur\u00e1n, F.: Dynamic Validation of OCL Constraints with mOdCL. ECEASST 44 (2011)"},{"key":"568_CR53","doi-asserted-by":"crossref","unstructured":"Stevens, P.: A landscape of bidirectional model transformations. In: Proceedings of GTTSE\u201907, no. 5235 in LNCS, pp. 408\u2013424. Springer (2007)","DOI":"10.1007\/978-3-540-88643-3_10"},{"key":"568_CR54","unstructured":"Stevens, P.: Observations relating to the equivalences induced on model sets by bidirectional transformations. ECEASST 49 (2012)"},{"issue":"1","key":"568_CR55","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P Stevens","year":"2010","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Softw. Syst. Model. 9(1), 7\u201320 (2010)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"568_CR56","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/s10270-011-0198-8","volume":"12","author":"P Stevens","year":"2013","unstructured":"Stevens, P.: A simple game-theoretic approach to checkonly QVT relations. Softw. Syst. Model. 12(1), 175\u2013199 (2013)","journal-title":"Softw. Syst. Model."},{"key":"568_CR57","doi-asserted-by":"crossref","unstructured":"Straeten, R.V.D., Puissant, J.P., Mens, T.: Assessing the Kodkod model finder for resolving model inconsistencies. In: ECMFA, LNCS, vol. 6698, pp. 69\u201384. Springer (2011)","DOI":"10.1007\/978-3-642-21470-7_6"},{"key":"568_CR58","doi-asserted-by":"crossref","unstructured":"Torlak, E., Jackson, D.: Kodkod: a relational model finder. In: Proceedings of TACAS\u201907, pp. LNCS\u00a04424, 632\u2013647 (2007)","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"568_CR59","doi-asserted-by":"crossref","unstructured":"Vallecillo, A., Gogolla, M., Burgue\u00f1o, L., Wimmer, M., Hamann, L.: Formal specification and testing of model transformations. In: Formal Methods for Model-Driven Engineering (SFM). Springer (2012)","DOI":"10.1007\/978-3-642-30982-3_11"},{"key":"568_CR60","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kappel, G., Sch\u00f6nb\u00f6ck, J., Kusel, A., Retschitzegger, W., Schwinger, W.: A Petri Net based debugging environment for QVT Relations. In: Proceedings of ASE\u201909 (2009)","DOI":"10.1109\/ASE.2009.99"},{"key":"568_CR61","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer, New York (2012)"},{"issue":"3","key":"568_CR62","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1007\/s10270-014-0438-9","volume":"15","author":"T Yue","year":"2016","unstructured":"Yue, T., Ali, S.: Empirically evaluating OCL and Java for specifying constraints on UML models. Softw. Syst. Model. 15(3), 757\u2013781 (2016)","journal-title":"Softw. Syst. Model."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0568-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0568-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0568-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T10:35:54Z","timestamp":1568630154000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0568-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,9]]},"references-count":62,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["568"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0568-3","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,9]]}}}