{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T06:56:34Z","timestamp":1763535394167},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T00:00:00Z","timestamp":1467331200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"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-0541-1","type":"journal-article","created":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T11:45:09Z","timestamp":1467373509000},"page":"779-813","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":28,"title":["Quick fixing ATL transformations with speculative analysis"],"prefix":"10.1007","volume":"17","author":[{"given":"Jes\u00fas S\u00e1nchez","family":"Cuadrado","sequence":"first","affiliation":[]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,1]]},"reference":[{"key":"541_CR1","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: GoalDebug: a spreadsheet debugger for end users. In: ICSE, pp. 251\u2013260. IEEE Computer Society (2007)","DOI":"10.1109\/ICSE.2007.39"},{"key":"541_CR2","doi-asserted-by":"crossref","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: MoDELS, vol. 6394 of LNCS, pp. 121\u2013135. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"541_CR3","doi-asserted-by":"crossref","unstructured":"Brun, Y, Holmes, R, Ernst, M.D., Notkin ,D.: Speculative analysis: exploring future development states of software. In: FoSER, pp. 59\u201364. ACM (2010)","DOI":"10.1145\/1882362.1882375"},{"key":"541_CR4","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Synthesis of OCL pre-conditions for graph transformation rules. In: ICMT, vol. 6142 of LNCS, pp. 45\u201360. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13688-7_4"},{"key":"541_CR5","doi-asserted-by":"crossref","unstructured":"Cibran, M.A.: Translating BPMN models into UML activities. In: Business Process Management Workshops, pp. 236\u2013247. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-00328-8_23"},{"key":"541_CR6","unstructured":"Cohen, W., Ravikumar, P., Fienberg, S.: A comparison of string metrics for matching names and records. In: KDD Workshop on Data Cleaning and Object Consolidation vol. 3, pp. 73\u201378 (2003)"},{"key":"541_CR7","doi-asserted-by":"crossref","unstructured":"Deckwerth, F., Varr\u00f3, G.: Attribute handling for generating preconditions from graph constraints. In: ICGT, vol. 8571 of LNCS, pp. 81\u201396. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-09108-2_6"},{"key":"541_CR8","doi-asserted-by":"crossref","unstructured":"Demarco, F., Xuan, J, Berre, D.L., Monperrus, M.: Automatic repair of buggy if conditions and missing preconditions with SMT. In: CSTVA, pp. 30\u201339. ACM (2014)","DOI":"10.1145\/2593735.2593740"},{"issue":"3","key":"541_CR9","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. 9(3), 319\u2013349 (1987)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"541_CR10","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."},{"issue":"2","key":"541_CR11","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1007\/s10270-013-0369-x","volume":"14","author":"E Guerra","year":"2015","unstructured":"Guerra, E., Soeken, M.: Specification-driven model transformation testing. Softw. Syst. Model. 14(2), 623\u2013644 (2015)","journal-title":"Softw. Syst. Model."},{"key":"541_CR12","doi-asserted-by":"crossref","unstructured":"Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Branco, M.\u00a0C., Varr\u00f3, D.: Quick fix generation for DSMLs. In: VL\/HCC, pp. 17\u201324. IEEE (2011)","DOI":"10.1109\/VLHCC.2011.6070373"},{"key":"541_CR13","doi-asserted-by":"crossref","unstructured":"Jeffrey, D., Feng, M., Gupta, N., Gupta, R.: BugFix: a learning-based tool to assist developers in fixing bugs. In: ICPC, pp. 70\u201379. IEEE Computer Society (2009)","DOI":"10.1109\/ICPC.2009.5090029"},{"key":"541_CR14","doi-asserted-by":"crossref","unstructured":"J\u00e9z\u00e9quel, J.-M., Barais, O., Fleurey, F.: Model driven language engineering with kermeta. In GTTSE\u201909, vol. 6491 of LNCS, pp. 201\u2013221. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-18023-1_5"},{"issue":"1","key":"541_CR15","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), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"541_CR16","doi-asserted-by":"crossref","unstructured":"Kaleeswaran, S., Tulsian, V., Kanade, A., Orso, A.: MintHint: automated synthesis of repair hints. In: ICSE, pp. 266\u2013276. ACM (2014)","DOI":"10.1145\/2568225.2568258"},{"key":"541_CR17","unstructured":"K\u00f6hler, C., Lewin, H., Taentzer, G.: Ensuring containment constraints in graph-based model transformation approaches. In: ECEASST vol. 6 (2007)"},{"key":"541_CR18","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: The epsilon transformation language. In: ICMT, vol. 5063 of LNCS, pp. 46\u201360. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"541_CR19","doi-asserted-by":"crossref","unstructured":"Kuhlmann, M., Hamann, L., Gogolla, M.: Extensive validation of OCL models by integrating SAT solving into USE. In: TOOLS (49), vol. 6705 of LNCS, pp. 290\u2013306. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21952-8_21"},{"key":"541_CR20","doi-asserted-by":"crossref","unstructured":"Kusel, A., Schwinger, W., Wimmer, M., Retschitzegger, W.: Common pitfalls of using QVT relations - graphical debugging as remedy. In: ICECCS, pp. 329\u2013334. IEEE (2009)","DOI":"10.1109\/ICECCS.2009.24"},{"key":"541_CR21","doi-asserted-by":"crossref","unstructured":"Le Goues, C., Dewey-Vogt, M., Forrest, S., Weimer, W.: A systematic study of automated program repair: fixing 55 out of 105 bugs for $8 each. In: ICSE, pp. 3\u201313. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227211"},{"issue":"3","key":"541_CR22","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/s11219-013-9208-0","volume":"21","author":"C Goues Le","year":"2013","unstructured":"Le Goues, C., Forrest, S., Weimer, W.: Current challenges in automatic software repair. Softw. Qual. J. 21(3), 421\u2013443 (2013)","journal-title":"Softw. Qual. J."},{"issue":"1","key":"541_CR23","first-page":"54","volume":"38","author":"C Goues Le","year":"2012","unstructured":"Le Goues, C., Nguyen, T., Forrest, S., Weimer, W.: Genprog: a generic method for automatic software repair. IEEE TSE 38(1), 54\u201372 (2012)","journal-title":"IEEE TSE"},{"key":"541_CR24","doi-asserted-by":"crossref","unstructured":"Logozzo, F., Ball, T.: Modular and verified automatic program repair. In: OOPSLA, pp. 133\u2013146. ACM (2012)","DOI":"10.1145\/2384616.2384626"},{"issue":"1","key":"541_CR25","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/s10664-013-9282-8","volume":"20","author":"M Martinez","year":"2015","unstructured":"Martinez, M., Monperrus, M.: Mining software repair models for reasoning on the search space of automated program fixing. Empir. Softw. Eng. 20(1), 176\u2013205 (2015)","journal-title":"Empir. Softw. Eng."},{"key":"541_CR26","doi-asserted-by":"crossref","unstructured":"Martinez, M., Weimer, W., Monperrus, M.: Do the fix ingredients already exist? An empirical inquiry into the redundancy assumptions of program repair approaches. In: ICSE, pp. 492\u2013495. ACM (2014)","DOI":"10.1145\/2591062.2591114"},{"key":"541_CR27","doi-asserted-by":"crossref","unstructured":"Muntean, P., Kommanapalli, V., Ibing, A., Eckert, C.: Automated generation of buffer overflow quick fixes using symbolic execution and SMT. In: SAFECOMP, vol. 9337 of LNCS, pp. 441\u2013456. Springer, Berlin (2015)","DOI":"10.1007\/978-3-319-24255-2_32"},{"key":"541_CR28","doi-asserted-by":"crossref","unstructured":"Muslu, K., Brun, Y., Holmes, R., Ernst, M.D., Notkin, D.: Speculative analysis of integrated development environment recommendations. In: OOPSLA, pp. 669\u2013682. ACM (2012)","DOI":"10.1145\/2398857.2384665"},{"issue":"5","key":"541_CR29","first-page":"427","volume":"40","author":"Y Pei","year":"2014","unstructured":"Pei, Y., Furia, C.A., Nordio, M., Wei, Y., Meyer, B., Zeller, A.: Automated fixing of programs with contracts. IEEE TSE 40(5), 427\u2013449 (2014)","journal-title":"IEEE TSE"},{"key":"541_CR30","doi-asserted-by":"crossref","unstructured":"Perkins, J.H., Kim, S., Larsen, S., Amarasinghe, S.P., Bachrach, J., Carbin, M., Pacheco, C., Sherwood, F., Sidiroglou, S., Sullivan, G., Wong, W., Zibin, Y., Ernst, M.D., Rinard, M.C.: Automatically patching errors in deployed software. In: SOSP, pp. 87\u2013102. ACM (2009)","DOI":"10.1145\/1629575.1629585"},{"key":"541_CR31","doi-asserted-by":"crossref","unstructured":"Proksch, S., Amann, S., Mezini, M.: Towards standardized evaluation of developer-assistance tools. In: RSSE, pp. 14\u201318. ACM (2014)","DOI":"10.1145\/2593822.2593827"},{"key":"541_CR32","unstructured":"QVT. http:\/\/www.omg.org\/spec\/QVT\/"},{"issue":"2","key":"541_CR33","doi-asserted-by":"crossref","first-page":"1003","DOI":"10.1007\/s10270-013-0358-0","volume":"14","author":"LA Rahim","year":"2015","unstructured":"Rahim, L.A., Whittle, J.: A survey of approaches for verifying model transformations. Softw. Syst. Model. 14(2), 1003\u20131028 (2015)","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"541_CR34","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/MS.2009.161","volume":"27","author":"MP Robillard","year":"2010","unstructured":"Robillard, M.P., Walker, R.J., Zimmermann, T.: Recommendation systems for software engineering. IEEE Softw. 27(4), 80\u201386 (2010)","journal-title":"IEEE Softw."},{"key":"541_CR35","doi-asserted-by":"crossref","unstructured":"S\u00e1nchez Cuadrado, J., Guerra, E., de\u00a0Lara, J.: Uncovering errors in ATL model transformations using static analysis and constraint solving. In: ISSRE, pp. 34\u201344. IEEE (2014)","DOI":"10.1109\/ISSRE.2014.10"},{"key":"541_CR36","doi-asserted-by":"crossref","unstructured":"S\u00e1nchez Cuadrado, J., Guerra, E., \u00a0de\u00a0Lara, J.: Quick fixing ATL model transformations. In: MoDELS, pp. 146\u2013155. IEEE (2015)","DOI":"10.1109\/MODELS.2015.7338245"},{"issue":"3","key":"541_CR37","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, A.: The model transformation language of the viatra2 framework. Sci. Comput. Program. 68(3), 214\u2013234 (2007)","journal-title":"Sci. Comput. Program."},{"key":"541_CR38","doi-asserted-by":"crossref","unstructured":"Weimer, W., Nguyen, T., Le Goues, C., Forrest, S.: Automatically finding patches using genetic programming. In: ICSE, pp. 364\u2013374. IEEE (2009)","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"541_CR39","unstructured":"Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W.: Right or wrong?\u2014verification of model transformations using colored petri nets. In: DSM (2009)"},{"issue":"2","key":"541_CR40","first-page":"1","volume":"11","author":"M Wimmer","year":"2012","unstructured":"Wimmer, M., Perez, S., Jouault, F., Cabot, J.: A catalogue of refactorings for model-to-model transformations. JOT 11(2), 1\u201340 (2012)","journal-title":"JOT"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0541-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0541-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0541-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0541-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T14:34:33Z","timestamp":1568126073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0541-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,1]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["541"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0541-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,1]]}}}