{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T13:42:25Z","timestamp":1769780545137,"version":"3.49.0"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,8,9]],"date-time":"2013-08-09T00:00:00Z","timestamp":1376006400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1007\/s10270-013-0369-x","type":"journal-article","created":{"date-parts":[[2013,8,8]],"date-time":"2013-08-08T12:55:29Z","timestamp":1375966529000},"page":"623-644","source":"Crossref","is-referenced-by-count":34,"title":["Specification-driven model transformation testing"],"prefix":"10.1007","volume":"14","author":[{"given":"Esther","family":"Guerra","sequence":"first","affiliation":[]},{"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,8,9]]},"reference":[{"key":"369_CR1","doi-asserted-by":"crossref","unstructured":"Balogh, A., Bergmann, G., Csert\u00e1n, G., G\u00f6nczy, L., Horv\u00e1th, \u00c1., Majzik, I., Pataricza, A., Polg\u00e1r, B., R\u00e1th, I., Varr\u00f3, D., Varr\u00f3, G.: Workflow-driven tool integration using model transformations. In: Graph Transformations and Model-Driven Engineering, vol. 5765 of LNCS, pp. 224\u2013248. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-17322-6_11"},{"issue":"6","key":"369_CR2","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1145\/1743546.1743583","volume":"53","author":"B Baudry","year":"2010","unstructured":"Baudry, B., Ghosh, S., Fleurey, F., France, R.B., Traon, Y.L., Mottu, J.-M.: Barriers to systematic model transformation testing. CACM 53(6), 139\u2013143 (2010)","journal-title":"CACM"},{"key":"369_CR3","doi-asserted-by":"crossref","unstructured":"Boronat, A., Cars\u00ed, J.A., Ramos, I.: Algebraic specification of a model transformation engine. In: FASE\u201906, vol. 3922 of LNCS, pp. 262\u2013277. Springer, Berlin (2006)","DOI":"10.1007\/11693017_20"},{"key":"369_CR4","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on Java predicates. In: ISSTA\u201902, pp. 123\u2013133 (2002)","DOI":"10.1145\/566189.566191"},{"key":"369_CR5","unstructured":"BPMN. http:\/\/www.bpmn.org\/"},{"key":"369_CR6","unstructured":"Budd, T.A.: Mutation analysis: ideas, examples, problems and prospects. In: Proceedings of Summer School on Computer Program Testing, pp. 129\u2013148 (1981)"},{"issue":"2","key":"369_CR7","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","author":"J Cabot","year":"2010","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw. 83(2), 283\u2013302 (2010)","journal-title":"J. Syst. Softw."},{"key":"369_CR8","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: ASE\u201907, pp. 547\u2013548 (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"369_CR9","unstructured":"Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: ECEASST, vol. 12, pp. 69\u201383 (2004)"},{"key":"369_CR10","doi-asserted-by":"crossref","unstructured":"de Moura, L.M., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: TACAS\u201908, vol. 4963 of LNCS, pp. 337\u2013340. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"369_CR11","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Berlin (2006)"},{"key":"369_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Prange, U.: Formal analysis of model transformations based on triple graph rules with kernels. In: ICGT\u201908, vol. 5214 of LNCS, pp. 178\u2013193. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87405-8_13"},{"key":"369_CR13","doi-asserted-by":"crossref","unstructured":"Fiorentini, C., Momigliano, A., Ornaghi, M., Poernomo, I.: A constructive approach to testing model transformations. In: ICMT\u201910, vol. 6142 of LNCS, pp. 77\u201392. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13688-7_6"},{"key":"369_CR14","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.: Qualifying input test data for model transformations. Softw. Syst. Model. 8, 185\u2013203 (2009)","journal-title":"Softw. Syst. Model."},{"key":"369_CR15","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Dom\u00ednguez, A., Kolovos, D., Rose, L., Paige, R., Medina-Bulo, I.: Eunit: A unit testing framework for model management tasks. In: MoDELS\u201911, vol. 6981 of LNCS, pp. 395\u2013409. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24485-8_29"},{"issue":"1","key":"369_CR16","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s10009-011-0186-x","volume":"14","author":"AH Ghamarian","year":"2012","unstructured":"Ghamarian, A.H., de Mol, M., Rensink, A., Zambon, E., Zimakova, M.: Modelling and analysis using GROOVE. STTT 14(1), 15\u201340 (2012)","journal-title":"STTT"},{"key":"369_CR17","doi-asserted-by":"crossref","unstructured":"Giner, P., Pelechano, V.: Test-driven development of model transformations. In: MoDELS\u201909, vol. 5795 of LNCS, pp. 748\u2013752. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_61"},{"issue":"5","key":"369_CR18","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MS.2008.109","volume":"25","author":"P Godefroid","year":"2008","unstructured":"Godefroid, P., de Halleux, J., Nori, A.V., Rajamani, S.K., Schulte, W., Tillmann, N., Levin, M.Y.: Automating software testing using program analysis. IEEE Softw. 25(5), 30\u201337 (2008)","journal-title":"IEEE Softw."},{"issue":"1\u20133","key":"369_CR19","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1\u20133), 27\u201334 (2007)","journal-title":"Sci. Comput. Program."},{"key":"369_CR20","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Vallecillo, A.: Tractable model transformation testing. In: ECMFA\u201911, vol. 6698 of LNCS, pp. 221\u2013235. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21470-7_16"},{"key":"369_CR21","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez, C.A., Cabot, J.: ATL-Test: a white-box test generation approach for ATL transformations. In: MoDELS\u201912, vol. 7590 of LNCS, pp. 449\u2013464. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-33666-9_29"},{"key":"369_CR22","doi-asserted-by":"crossref","unstructured":"Guerra, E.: Specification-driven test generation for model transformations. In: ICMT\u201912, vol. 7307 of LNCS, pp. 40\u201355. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-30476-7_3"},{"key":"369_CR23","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J.: Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets. Softw. Syst. Model. (2013). doi: 10.1007\/s10270-012-0292-6","DOI":"10.1007\/s10270-012-0292-6"},{"issue":"3","key":"369_CR24","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., Paige, R., dos Santos, O.: Engineering model transformations with transML. Softw. Syst. Model. 12(3), 555\u2013577 (2013)","journal-title":"Softw. Syst. Model."},{"key":"369_CR25","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F.: A visual specification language for model-to-model transformations. In: IEEE Computer Society on VL\/HCC\u201910, pp. 119\u2013126 (2010)","DOI":"10.1109\/VLHCC.2010.25"},{"issue":"1","key":"369_CR26","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10515-012-0102-y","volume":"12","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. 12(1), 5\u201346 (2013)","journal-title":"Autom. Softw. Eng."},{"key":"369_CR27","unstructured":"Harm, J., L\u00e4mmel, R.: Two-dimensional approximation coverage. Informatica, 24(3), 355\u2013369 (2000)"},{"issue":"1","key":"369_CR28","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1002\/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N","volume":"7","author":"RM Hierons","year":"1997","unstructured":"Hierons, R.M.: Testing from a Z specification. J. Softw. Test. Verif. Reliab. 7(1), 19\u201333 (1997)","journal-title":"J. Softw. Test. Verif. Reliab."},{"key":"369_CR29","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, MA (2006)"},{"issue":"1\u20132","key":"369_CR30","doi-asserted-by":"crossref","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":"369_CR31","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: The epsilon transformation language. In: ICMT\u201908, vol. 5063 of LNCS, pp. 46\u201360. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69927-9_4"},{"issue":"3","key":"369_CR32","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s10270-006-0018-8","volume":"5","author":"JM K\u00fcster","year":"2006","unstructured":"K\u00fcster, J.M.: Definition and validation of model transformations. Softw. Syst. Model. 5(3), 233\u2013259 (2006)","journal-title":"Softw. Syst. Model."},{"key":"369_CR33","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M., Abd-El-Razik, M.: Validation of model transformations\u2014first experiences using a white box approach. In: MoDELS Workshops, vol. 4364 of LNCS, pp. 193\u2013204. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-69489-2_24"},{"key":"369_CR34","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R., Schulte, W.: Controllable combinatorial coverage in grammar-based testing. In: TestCom\u201906, pp. 19\u201338 (2006)","DOI":"10.1007\/11754008_2"},{"key":"369_CR35","doi-asserted-by":"crossref","unstructured":"Lin, Y., Zhang, J., Gray, J.: A framework for testing model transformations. In: Model-driven Software Development\u2014Research and Practice in Software Engineering. Springer, Berlin (2005)","DOI":"10.1007\/3-540-28554-7_10"},{"key":"369_CR36","doi-asserted-by":"crossref","unstructured":"Mottu, J., Baudry, B., Traon, Y.: Mutation analysis testing for model transformations. In: ECMDA-FA\u201906, vol. 4066 of LNCS, pp. 376\u2013390. Springer, Berlin (2006)","DOI":"10.1007\/11787044_28"},{"key":"369_CR37","doi-asserted-by":"crossref","unstructured":"Mottu, J., Baudry, B., Traon, Y.: Reusable MDA components: a testing-for-trust approach. In: MoDELS\u201906, vol. 4199 of LNCS, pp. 589\u2013603. Springer, Berlin (2006)","DOI":"10.1007\/11880240_41"},{"issue":"1","key":"369_CR38","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0164-1212(99)00066-7","volume":"49","author":"AJ Offutt","year":"1999","unstructured":"Offutt, A.J., Liu, S.: Generating test data from SOFL specifications. J. Syst. Softw. 49(1), 49\u201362 (1999)","journal-title":"J. Syst. Softw."},{"key":"369_CR39","doi-asserted-by":"crossref","unstructured":"Oster, S., Zorcic, I., Markert, F., Lochau, M.: MoSo-PoLiTe: tool support for pairwise and model-based software product line testing. In: VaMoS\u201911, ACM International Conference Proceedings Series, pp. 79\u201382. ACM (2011)","DOI":"10.1145\/1944892.1944901"},{"issue":"3\u20134","key":"369_CR40","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1007\/s11219-011-9160-9","volume":"20","author":"G Perrouin","year":"2012","unstructured":"Perrouin, G., Oster, S., Sen, S., Klein, J., Baudry, B., Traon, Y.: Pairwise testing for software product lines: comparison of two approaches. Softw. Qual. J. 20(3\u20134), 605\u2013643 (2012)","journal-title":"Softw. Qual. J."},{"key":"369_CR41","unstructured":"Quillan, J.A.M., Power, J.F.: White-box coverage criteria for model transformations. In: 1st International Workshop on Model Transformation with ATL (2009)"},{"key":"369_CR42","doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B., Mottu, J.: Automatic model generation strategies for model transformation testing. In: ICMT\u201909, vol. 5563 of LNCS, pp. 148\u2013164. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02408-5_11"},{"key":"369_CR43","doi-asserted-by":"crossref","unstructured":"Sen, S., Mottu, J.-M., Tisi, M., Cabot, J.: Using models of partial knowledge to test model transformations. In: ICMT\u201912, vol. 7307 of LNCS, pp. 24\u201339. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-30476-7_2"},{"issue":"3","key":"369_CR44","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1002\/jcd.20067","volume":"14","author":"GB Sherwood","year":"2005","unstructured":"Sherwood, G.B., Martirosyan, S.S., Colbourn, C.: Covering arrays of higher strength from permutation vectors. J. Comb. Des. 14(3), 202\u2013213 (2005)","journal-title":"J. Comb. Des."},{"key":"369_CR45","doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Kuhlmann, M., Gogolla, M., Drechsler, R.: Verifying UML\/OCL models using boolean satisfiability. In: IEEE on DATE\u201910, pp. 1341\u20131344 (2010)","DOI":"10.1109\/DATE.2010.5457017"},{"issue":"1","key":"369_CR46","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1049\/sej.1989.0006","volume":"4","author":"JM Spivey","year":"1989","unstructured":"Spivey, J.M.: An introduction to Z and formal specifications. Softw. Eng. J. 4(1), 40\u201350 (1989)","journal-title":"Softw. Eng. J."},{"issue":"4","key":"369_CR47","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MS.2006.117","volume":"23","author":"N Tillmann","year":"2006","unstructured":"Tillmann, N., Schulte, W.: Unit tests reloaded: parameterized unit testing with symbolic execution. IEEE Softw. 23(4), 38\u201347 (2006)","journal-title":"IEEE Softw."},{"issue":"8","key":"369_CR48","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1109\/TSE.2006.79","volume":"32","author":"YL Traon","year":"2006","unstructured":"Traon, Y.L., Baudry, B., J\u00e9z\u00e9quel, J.-M.: Design by contract to improve software vigilance. IEEE Trans. Softw. Eng. 32(8), 571\u2013586 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"369_CR49","first-page":"1","volume":"10","author":"J Troya","year":"2011","unstructured":"Troya, J., Vallecillo, A.: A rewriting logic semantics for ATL. J. Object Technol. 10(5), 1\u201329 (2011)","journal-title":"J. Object Technol."}],"container-title":["Software &amp; Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0369-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0369-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0369-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,20]],"date-time":"2019-07-20T16:03:53Z","timestamp":1563638633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0369-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,9]]},"references-count":49,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["369"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0369-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,8,9]]}}}