{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,22]],"date-time":"2024-07-22T12:37:38Z","timestamp":1721651858114},"reference-count":116,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2020,4,12]],"date-time":"2020-04-12T00:00:00Z","timestamp":1586649600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,4,12]],"date-time":"2020-04-12T00:00:00Z","timestamp":1586649600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s10515-020-00271-w","type":"journal-article","created":{"date-parts":[[2020,4,12]],"date-time":"2020-04-12T15:02:31Z","timestamp":1586703751000},"page":"91-118","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Multi-criteria test cases selection for model transformations"],"prefix":"10.1007","volume":"27","author":[{"given":"Bader","family":"Alkhazi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chaima","family":"Abid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marouane","family":"Kessentini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dorian","family":"Leroy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,4,12]]},"reference":[{"key":"271_CR1","unstructured":"Agrawal, H., Horgan, J.R., Krauser, E.W., London, S.A.: Incremental regression testing. In: Proceedings of the International Conference on Software Maintenance (ICSM), pp. 348\u2013357. IEEE (1993)"},{"key":"271_CR2","doi-asserted-by":"crossref","unstructured":"Alkhazi, B., Ruas, T., Kessentini, M., Wimmer, M., Grosky, W.I.: Automated refactoring of atl model transformations: a search-based approach. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, pp. 295\u2013304. ACM (2016)","DOI":"10.1145\/2976767.2976782"},{"key":"271_CR3","doi-asserted-by":"crossref","unstructured":"Almendros-Jim\u00e9nez, J.M., Becerra-Ter\u00f3n, A.: Automatic generation of Ecore models for testing ATL transformations. In: Proceedings of the International Conference on Model and Data Engineering (MEDI), pp. 16\u201330. Springer (2016)","DOI":"10.1007\/978-3-319-45547-1_2"},{"issue":"3","key":"271_CR4","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1007\/s10664-013-9249-9","volume":"18","author":"A Arcuri","year":"2013","unstructured":"Arcuri, A., Fraser, G.: Parameter tuning or default values? An empirical investigation in search-based software engineering. Empir. Softw. Eng. 18(3), 594\u2013623 (2013)","journal-title":"Empir. Softw. Eng."},{"key":"271_CR5","unstructured":"ATL: ATL Transformations Zoo https:\/\/www.eclipse.org\/atl\/atlTransformations\/ (2006). Last Accessed 11 Dec 2018"},{"key":"271_CR6","doi-asserted-by":"crossref","unstructured":"Baki, I., Sahraoui, H.A., Cobbaert, Q., Masson, P., Faunes, M.: Learning implicit and explicit control in model transformations by example. In: Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 636\u2013652 (2014)","DOI":"10.1007\/978-3-319-11653-2_39"},{"issue":"2","key":"271_CR7","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/271775.271802","volume":"23","author":"T Ball","year":"1998","unstructured":"Ball, T.: On the limit of control flow analysis for regression test selection. ACM SIGSOFT Softw. Eng. Notes 23(2), 134\u2013142 (1998)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"271_CR8","doi-asserted-by":"crossref","unstructured":"Bates, S., Horwitz, S.: Incremental program testing using program dependence graphs. In: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 384\u2013396. ACM (1993)","DOI":"10.1145\/158511.158694"},{"key":"271_CR9","unstructured":"Baudry, B., Dinh-Trong, T., Mottu, J.M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Le\u00a0Traon, Y.: Model transformation testing challenges. In: Proceedings of the ECMDA Workshop on Integration of Model Driven Development and Model Driven Testing (2006)"},{"issue":"6","key":"271_CR10","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1145\/1743546.1743583","volume":"53","author":"B Baudry","year":"2010","unstructured":"Baudry, B., Ghosh, S., Fleurey, F., France, R., Le Traon, Y., Mottu, J.M.: Barriers to systematic model transformation testing. Commun. ACM 53(6), 139\u2013143 (2010)","journal-title":"Commun. ACM"},{"key":"271_CR11","doi-asserted-by":"crossref","unstructured":"Benedusi, P., Cmitile, A., De\u00a0Carlini, U.: Post-maintenance testing based on path change analysis. In: Proceedings of the International Conference on Software Maintenance (ICSM), pp. 352\u2013361. IEEE (1988)","DOI":"10.1109\/ICSM.1988.10187"},{"key":"271_CR12","doi-asserted-by":"crossref","unstructured":"Bertolino, A.: Software testing research: achievements, challenges, dreams. In: 2007 Future of Software Engineering, pp. 85\u2013103. IEEE Computer Society (2007)","DOI":"10.1109\/FOSE.2007.25"},{"key":"271_CR13","unstructured":"Binkley, D.: Reducing the cost of regression testing by semantics guided test case selection. In: Proceedings of the International Conference on Software Maintenance (ICSM), pp. 251\u2013260. IEEE (1995)"},{"issue":"4","key":"271_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1543405.1543413","volume":"34","author":"S Biswas","year":"2009","unstructured":"Biswas, S., Mall, R., Satpathy, M., Sukumaran, S.: A model-based regression test selection approach for embedded applications. ACM SIGSOFT Softw. Eng. Notes 34(4), 1\u20139 (2009)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"3","key":"271_CR15","first-page":"289","volume":"35","author":"S Biswas","year":"2011","unstructured":"Biswas, S., Mall, R., Satpathy, M., Sukumaran, S.: Regression test selection techniques: a survey. Informatica 35(3), 289\u2013321 (2011)","journal-title":"Informatica"},{"issue":"2","key":"271_CR16","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s10515-017-0215-4","volume":"24","author":"I Boussaid","year":"2017","unstructured":"Boussaid, I., Siarry, P., Ahmed-Nacer, M.: A survey on search-based model-driven engineering. Autom. Softw. Eng. 24(2), 233\u2013294 (2017)","journal-title":"Autom. Softw. Eng."},{"issue":"1","key":"271_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00751ED2V01Y201701SWE004","volume":"3","author":"M Brambilla","year":"2017","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-driven software engineering in practice. Synth. Lect. Softw. Eng. 3(1), 1\u2013207 (2017)","journal-title":"Synth. Lect. Softw. Eng."},{"key":"271_CR18","doi-asserted-by":"crossref","unstructured":"Branke, J., Deb, K., Dierolf, H., Osswald, M.: Finding knees in multi-objective optimization. In: International Conference on Parallel Problem Solving from Nature, pp. 722\u2013731. Springer (2004)","DOI":"10.1007\/978-3-540-30217-9_73"},{"key":"271_CR19","doi-asserted-by":"crossref","unstructured":"Brottier, E., Fleurey, F., Steel, J., Baudry, B., Le\u00a0Traon, Y.: Metamodel-based test generation for model transformations: an algorithm and a tool. In: Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE), pp. 85\u201394. IEEE (2006)","DOI":"10.1109\/ISSRE.2006.27"},{"issue":"2","key":"271_CR20","doi-asserted-by":"publisher","first-page":"225","DOI":"10.2298\/CSIS110114012B","volume":"8","author":"BR Bryant","year":"2011","unstructured":"Bryant, B.R., Gray, J.G., Mernik, M., Clarke, P., Karsai, G.: Challenges and directions in formalizing the semantics of modeling languages. Comput. Sci. Inf. Syst. 8(2), 225\u2013253 (2011)","journal-title":"Comput. Sci. Inf. Syst."},{"issue":"5","key":"271_CR21","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1109\/TSE.2014.2375201","volume":"41","author":"L Burgueno","year":"2014","unstructured":"Burgueno, L., Troya, J., Wimmer, M., Vallecillo, A.: Static fault localization in model transformations. IEEE Trans. Softw. Eng. 41(5), 490\u2013506 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"271_CR22","doi-asserted-by":"publisher","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":"271_CR23","volume-title":"All About Maude-A High-performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude-A High-performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic. Springer, Berlin (2007)"},{"issue":"3","key":"271_CR24","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621\u2013645 (2006). https:\/\/doi.org\/10.1147\/sj.453.0621","journal-title":"IBM Syst. J."},{"key":"271_CR25","doi-asserted-by":"crossref","unstructured":"de\u00a0Souza, L.S., Prud\u00eancio, R.B., Barros, F.D.A.: A hybrid binary multi-objective particle swarm optimization with local search for test case selection. In: Proceedings of the Brazilian Conference on Intelligent Systems, pp. 414\u2013419. IEEE (2014)","DOI":"10.1109\/BRACIS.2014.80"},{"issue":"2","key":"271_CR26","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K Deb","year":"2002","unstructured":"Deb, K., Pratap, A., Agarwal, S., Meyarivan, T.: A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans. Evolut. Comput. 6(2), 182\u2013197 (2002)","journal-title":"IEEE Trans. Evolut. Comput."},{"key":"271_CR27","doi-asserted-by":"crossref","unstructured":"Debreceni, C., Rath, I., Varro, D., Carlos, X.D., Mendialdua, X., Trujillo, S.: Automated model merge by design space exploration. In: Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering (FASE), pp. 104\u2013121 (2016)","DOI":"10.1007\/978-3-662-49665-7_7"},{"key":"271_CR28","doi-asserted-by":"crossref","unstructured":"Denil, J., Jukss, M., Verbrugge, C., Vangheluwe, H.: Search-based model optimization using model transformations. In: Proceedings of the International Conference on System Analysis and Modeling (SAM), pp. 80\u201395 (2014)","DOI":"10.1007\/978-3-319-11743-0_6"},{"issue":"4","key":"271_CR29","doi-asserted-by":"publisher","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(4), 479\u2013500 (2009)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"271_CR30","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.swevo.2011.02.001","volume":"1","author":"AE Eiben","year":"2011","unstructured":"Eiben, A.E., Smit, S.K.: Parameter tuning for configuring and analyzing evolutionary algorithms. Swarm Evolut. Comput. 1(1), 19\u201331 (2011)","journal-title":"Swarm Evolut. Comput."},{"key":"271_CR31","doi-asserted-by":"crossref","unstructured":"Elbaum, S., Malishevsky, A.G., Rothermel, G.: Prioritizing test cases for regression testing. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pp. 102\u2013112. ACM (2000)","DOI":"10.1145\/347636.348910"},{"key":"271_CR32","doi-asserted-by":"crossref","unstructured":"Farooq, U., Lam, C.P.: Evolving the quality of a model based test suite. In: Proceedings of the International Conference on Software Testing, Verification, and Validation Workshops, pp. 141\u2013149. IEEE (2009)","DOI":"10.1109\/ICSTW.2009.27"},{"key":"271_CR33","doi-asserted-by":"crossref","unstructured":"Faunes, M., Cadavid, J.J., Baudry, B., Sahraoui, H.A., Combemale, B.: Automatically searching for metamodel well-formedness rules in examples and counter-examples. In: Proceedings of the 16th International Conference on Model-Driven Engineering Languages and Systems (MODELS), pp. 187\u2013202 (2013a)","DOI":"10.1007\/978-3-642-41533-3_12"},{"key":"271_CR34","doi-asserted-by":"crossref","unstructured":"Faunes, M., Sahraoui, H.A., Boukadoum, M.: Genetic-programming approach to learn model transformation rules from examples. In: Proceedings of the International Conference on Theory and Practice of Model Transformations (ICMT), pp. 17\u201332 (2013b)","DOI":"10.1007\/978-3-642-38883-5_2"},{"key":"271_CR35","doi-asserted-by":"crossref","unstructured":"Finot, O., Mottu, J.M., Suny\u00e9, G., Attiogb\u00e9, C.: Partial test oracle in model transformation testing. In: International Conference on Theory and Practice of Model Transformations, pp. 189\u2013204. Springer (2013)","DOI":"10.1007\/978-3-642-38883-5_17"},{"key":"271_CR36","unstructured":"Fischer, K., Raji, F., Chruscicki, A.: A methodology for retesting modified software. In: Proceedings of the National Telecommunications Conference, pp. 1\u20136 (1981)"},{"key":"271_CR37","unstructured":"Fischer, K.F.: A test case selection method for the validation of software maintenance modifications. In: Proceedings of 1st International Computer Software and Applications Conference (COMPSAC), pp. 421\u2013426 (1977)"},{"key":"271_CR38","unstructured":"Fleck, M., Troya, J., Wimmer, M.: Marrying search-based optimization and model transformation technology. In: Proceedings of the 1st North American Search Based Software Engineering Symposium (NasBASE), pp. 1\u201316 (2015)"},{"issue":"11","key":"271_CR39","doi-asserted-by":"publisher","first-page":"1009","DOI":"10.1109\/TSE.2017.2654255","volume":"43","author":"M Fleck","year":"2017","unstructured":"Fleck, M., Troya, J., Kessentini, M., Wimmer, M., Alkhazi, B.: Model transformation modularization as a many-objective optimization problem. IEEE Tran. Softw. Eng. 43(11), 1009\u20131032 (2017)","journal-title":"IEEE Tran. Softw. Eng."},{"key":"271_CR40","unstructured":"Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: testing model transformations. In: Proceedings of the First International Workshop on Model, Design and Validation, pp. 29\u201340. IEEE (2004)"},{"issue":"2","key":"271_CR41","doi-asserted-by":"publisher","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., Le Traon, Y.: Qualifying input test data model transformations. Softw. Syst. Model. 8(2), 185\u2013203 (2009)","journal-title":"Softw. Syst. Model."},{"key":"271_CR42","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: 2007 Future of Software Engineering, pp. 37\u201354. IEEE Computer Society (2007)","DOI":"10.1109\/FOSE.2007.14"},{"key":"271_CR43","unstructured":"Ghannem, A., Kessentini, M., Boussaidi, G.E.: Detecting model refactoring opportunities using heuristic search. In: Proceedings of the Conference of the Center for Advanced Studies on Collaborative Research (CASCON), pp. 175\u2013187 (2011)"},{"key":"271_CR44","doi-asserted-by":"crossref","unstructured":"Ghannem, A., Boussaidi, G.E., Kessentini, M.: Model refactoring using interactive genetic algorithm. In: Proceedings of the 5th International Symposium on Search Based Software Engineering (SSBSE), pp. 96\u2013110 (2013)","DOI":"10.1007\/978-3-642-39742-4_9"},{"key":"271_CR45","unstructured":"Gogolla, M., Vallecillo, A.: Tractable model transformation testing. In: Modelling Foundations and Applications\u20147th European Conference, ECMFA 2011, Birmingham, UK, June 6\u20139, 2011 Proceedings, pp. 221\u2013235 (2011)"},{"key":"271_CR46","unstructured":"Gogolla, M., Vallecillo, A., Burgue\u00f1o, L., Hilken, F.: Employing classifying terms for testing model transformations. In: 18th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30\u2013October 2, 2015, pp. 312\u2013321 (2015)"},{"key":"271_CR47","doi-asserted-by":"crossref","unstructured":"Gomez, J.J.C., Baudry, B., Sahraoui, H.: Searching the boundaries of a modeling space to test metamodels. In: Proceedings of the Fifth International Conference on Software Testing, Verification and Validation, pp. 131\u2013140 (2012)","DOI":"10.1109\/ICST.2012.93"},{"key":"271_CR48","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez, C.A., Cabot, J.: ATLTest: a white-box test generation approach for ATL transformations. In: Proceedings of the 15th International Conference Model Driven Engineering Languages and Systems (MODELS), pp. 449\u2013464 (2012)","DOI":"10.1007\/978-3-642-33666-9_29"},{"issue":"2","key":"271_CR49","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1109\/TSE.1975.6312836","volume":"1","author":"JB Goodenough","year":"1975","unstructured":"Goodenough, J.B., Gerhart, S.L.: Toward a theory of test data selection. IEEE Trans. Softw. Eng. 1(2), 156\u2013173 (1975)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"271_CR50","doi-asserted-by":"crossref","unstructured":"Guerra, E.: Specification-driven test generation for model transformations. In: Theory and Practice of Model Transformations\u20145th International Conference, ICMT 2012, Prague, Czech Republic, May 28\u201329, 2012. Proceedings, pp. 40\u201355 (2012)","DOI":"10.1007\/978-3-642-30476-7_3"},{"issue":"1","key":"271_CR51","doi-asserted-by":"publisher","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":"271_CR52","unstructured":"Gupta, R., Harrold, M.J., Soffa, M.L.: An approach to regression testing using slicing. In: Proceedings of the International Conference on Software Maintenance (ICSM), pp. 299\u2013308. IEEE (1992)"},{"key":"271_CR53","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.entcs.2004.02.062","volume":"109","author":"S Gyapay","year":"2004","unstructured":"Gyapay, S., Schmidt, A., Varro, D.: Joint optimization and reachability analysis in graph transformation systems with time. Electron. Notes Theor. Comput. Sci. 109, 137\u2013147 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"271_CR54","unstructured":"Hadka, D.: Moea Framework: A Free and Open Source Java Framework for Multiobjective Optimization http:\/\/www.moeaframework.org(2012). Accessed 12 Apr 2019"},{"key":"271_CR55","doi-asserted-by":"crossref","unstructured":"Harrold, M.J., Souffa, M.: An incremental approach to unit testing during maintenance. In: Proceedings of the International Conference on Software Maintenance (ICSM), pp. 362\u2013367. IEEE (1988)","DOI":"10.1109\/ICSM.1988.10188"},{"key":"271_CR56","unstructured":"Hartmann, J., Robson, D.: Revalidation during the software maintenance phase. In: Proceedings of the International Conference on Software Maintenance (ICSM), pp. 70\u201380. IEEE (1989)"},{"key":"271_CR57","unstructured":"Hartmann, J., Robson, D.J.: Retest-development of a selective revalidation prototype environment for use in software maintenance. In: Twenty-Third Annual Hawaii International Conference on System Sciences, pp. 92\u2013101. IEEE (1990)"},{"key":"271_CR58","doi-asserted-by":"crossref","unstructured":"Hemmati, H., Briand, L., Arcuri, A., Ali, S.: An enhanced test case selection approach for model-based testing: an industrial case study. In: Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 267\u2013276. ACM (2010)","DOI":"10.1145\/1882291.1882331"},{"key":"271_CR59","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of MDE in industry. In: Proceedings of the 33rd International Conference on Software Engineering (ICSE), pp. 471\u2013480. IEEE (2011)","DOI":"10.1145\/1985793.1985858"},{"key":"271_CR60","unstructured":"INRIA: Atl Transformation Example: Bibtexml to Docbook https:\/\/www.eclipse.org\/atl\/atlTransformations\/BibTeXML2DocBook\/ExampleBibTeXML2DocBook[v00.01].pdf (2005). Last Accessed 11 Dec 2018"},{"key":"271_CR61","unstructured":"ISO: IEC25010: 2011 Systems and Software Engineering\u2013Systems and Software Quality Requirements and Evaluation (Square)\u2013System and Software Quality Models. Technical Report. International Organization for Standardization (2011)"},{"key":"271_CR62","doi-asserted-by":"crossref","unstructured":"Jensen, A.C., Cheng, B.H.: On the use of genetic programming for automated refactoring and the introduction of design patterns. In: Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation, pp. 1341\u20131348 (2010)","DOI":"10.1145\/1830483.1830731"},{"key":"271_CR63","doi-asserted-by":"crossref","unstructured":"Jilani, A.A., Iqbal, M.Z., Khan, M.U.: A search based test data generation approach for model transformations. In: Proceedings of the International Conference on Theory and Practice of Model Transformations (ICMT), pp. 17\u201324 (2014)","DOI":"10.1007\/978-3-319-08789-4_2"},{"issue":"1\u20132","key":"271_CR64","doi-asserted-by":"publisher","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":"271_CR65","volume-title":"Multi Objective Optimization Using Evolutionary Algorithms","author":"D Kalyanmoy","year":"2001","unstructured":"Kalyanmoy, D., et al.: Multi Objective Optimization Using Evolutionary Algorithms. Wiley, New York (2001)"},{"key":"271_CR66","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-642-28279-9_15","volume-title":"Conceptual Modelling and Its Theoretical Foundations","author":"G Kappel","year":"2012","unstructured":"Kappel, G., Langer, P., Retschitzegger, W., Schwinger, W., Wimmer, M.: Model transformation by-example: a survey of the first wave. In: D\u00fcsterh\u00f6ft, A., Klettke, M., Schewe, K.-D. (eds.) Conceptual Modelling and Its Theoretical Foundations, vol. 7260, pp. 197\u2013215. Springer, Berlin (2012)"},{"issue":"2","key":"271_CR67","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/3057269","volume":"50","author":"R Kazmi","year":"2017","unstructured":"Kazmi, R., Jawawi, D.N., Mohamad, R., Ghani, I.: Effective regression test case selection: a systematic literature review. ACM Comput. Surv. (CSUR) 50(2), 29 (2017)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"271_CR68","doi-asserted-by":"crossref","unstructured":"Kessentini, M., Sahraoui, H.A., Boukadoum, M.: Model transformation as an optimization problem. In: Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS), pp. 159\u2013173 (2008)","DOI":"10.1007\/978-3-540-87875-9_12"},{"key":"271_CR69","doi-asserted-by":"crossref","unstructured":"Kessentini, M., Bouchoucha, A., Sahraoui, H.A., Boukadoum, M.: Example-based sequence diagrams to colored petri nets transformation using heuristic search. In: Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA), pp. 156\u2013172 (2010)","DOI":"10.1007\/978-3-642-13595-8_14"},{"issue":"2","key":"271_CR70","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10515-010-0079-3","volume":"18","author":"M Kessentini","year":"2011","unstructured":"Kessentini, M., Sahraoui, H.A., Boukadoum, M.: Example-based model-transformation testing. Autom. Softw. Eng. 18(2), 199\u2013224 (2011)","journal-title":"Autom. Softw. Eng."},{"issue":"2","key":"271_CR71","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10270-010-0175-7","volume":"11","author":"M Kessentini","year":"2012","unstructured":"Kessentini, M., Sahraoui, H., Boukadoum, M., Omar, O.B.: Search-based model transformation by example. Softw. Syst. Model. 11(2), 209\u2013226 (2012)","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"271_CR72","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s11219-012-9187-6","volume":"21","author":"M Kessentini","year":"2013","unstructured":"Kessentini, M., Mahaouachi, R., Ghedira, K.: What you like in design use to correct bad-smells. Softw. Qual. J. 21(4), 551\u2013571 (2013a)","journal-title":"Softw. Qual. J."},{"key":"271_CR73","doi-asserted-by":"crossref","unstructured":"Kessentini, M., Werda, W., Langer, P., Wimmer, M.: Search-based model merging. In: Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation (GECCO), pp. 1453\u20131460 (2013b)","DOI":"10.1145\/2463372.2463553"},{"issue":"4","key":"271_CR74","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"T K\u00fchne","year":"2006","unstructured":"K\u00fchne, T.: Matters of (meta-)modeling. Softw. Syst. Model. 5(4), 369\u2013385 (2006). https:\/\/doi.org\/10.1007\/s10270-006-0017-9","journal-title":"Softw. Syst. Model."},{"key":"271_CR75","unstructured":"Kumar, M., Sharma, A., Kumar, R.: Multi faceted measurement framework for test case classification and fitness evaluation using fuzzy logic based approach. Chiang Mai J. Sci. 39(3), 112\u2013127 (2012)"},{"key":"271_CR76","doi-asserted-by":"crossref","unstructured":"Lamari, M.: Towards an automated test generation for the verification of model transformations. In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), pp. 998\u20131005. ACM (2007)","DOI":"10.1145\/1244002.1244220"},{"key":"271_CR77","unstructured":"Laski, J., Szermer, W.: Identification of program modifications and its applications in software maintenance. In: Proceedings of the International Conference on Software Maintenance (ICSM), pp. 282\u2013290. IEEE (1992)"},{"issue":"3","key":"271_CR78","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0164-1212(90)90093-2","volume":"13","author":"JA Lee","year":"1990","unstructured":"Lee, J.A., He, X.: A methodology for test selection. J. Syst. Softw. 13(3), 177\u2013185 (1990)","journal-title":"J. Syst. Softw."},{"key":"271_CR79","unstructured":"Leung, H.K., White, L.: Insights into regression testing (software testing). In: Proceedings of the International Conference on Software Maintenance (ICSM), pp. 60\u201369. IEEE (1989)"},{"key":"271_CR80","unstructured":"Leung, H.K., White, L.: A study of integration testing and software regression at the integration level. In: Proceedings Conference on Software Maintenance 1990, pp. 290\u2013301. IEEE (1990)"},{"key":"271_CR81","doi-asserted-by":"crossref","unstructured":"Li, X.: A non-dominated sorting particle swarm optimizer for multiobjective optimization. In: Proceedings of the Genetic and Evolutionary Computation Conference, pp. 37\u201348. Springer (2003)","DOI":"10.1007\/3-540-45105-6_4"},{"key":"271_CR82","doi-asserted-by":"crossref","unstructured":"Lin, Y., Zhang, J., Gray, J.: A testing framework for model transformations. In: Model-Driven Software Development, pp. 219\u2013236. Springer (2005)","DOI":"10.1007\/3-540-28554-7_10"},{"issue":"2","key":"271_CR83","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/s11219-015-9284-4","volume":"25","author":"U Mansoor","year":"2017","unstructured":"Mansoor, U., Kessentini, M., Wimmer, M., Deb, K.: Multi-view refactoring of class and activity diagrams using a multi-objective evolutionary algorithm. Softw. Qual. J. 25(2), 473\u2013501 (2017)","journal-title":"Softw. Qual. J."},{"key":"271_CR84","unstructured":"McQuillan, J.A., Power, J.F.: White-box coverage criteria for model transformations. In: Proceedings of the 1st International Workshop on Model Transformation with ATL, pp. 63\u201377 (2009)"},{"key":"271_CR85","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T Mens","year":"2006","unstructured":"Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electron. Notes in Theor. Comput. Sci. 152, 125\u2013142 (2006). https:\/\/doi.org\/10.1016\/j.entcs.2005.10.021","journal-title":"Electron. Notes in Theor. Comput. Sci."},{"issue":"4","key":"271_CR86","doi-asserted-by":"publisher","first-page":"936","DOI":"10.1109\/TSE.2011.56","volume":"38","author":"S Mirarab","year":"2012","unstructured":"Mirarab, S., Akhlaghi, S., Tahvildari, L.: Size-constrained regression test case selection using multicriteria optimization. IEEE Trans. Softw. Eng. 38(4), 936\u2013956 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"271_CR87","doi-asserted-by":"crossref","unstructured":"Moghadam, I.H., Cinneide, M.O.: Automated refactoring using design differencing. In: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), pp. 43\u201352 (2012)","DOI":"10.1109\/CSMR.2012.15"},{"key":"271_CR88","doi-asserted-by":"crossref","unstructured":"Mohagheghi, P., Dehlen, V.: Where is the proof? A review of experiences from applying MDE in industry. In: Proceedings of the European Conference on Model Driven Architecture\u2014Foundations and Applications, pp. 432\u2013443. Springer (2008)","DOI":"10.1007\/978-3-540-69100-6_31"},{"key":"271_CR89","doi-asserted-by":"crossref","unstructured":"Mottu, J.M., Baudry, B., Le\u00a0Traon, Y.: Mutation analysis testing for model transformations. In: European Conference on Model Driven Architecture-Foundations and Applications, pp. 376\u2013390. Springer (2006)","DOI":"10.1007\/11787044_28"},{"key":"271_CR90","unstructured":"Object Management Group (OMG): Meta Object Facility (MOF) 2.0 Core Specification. OMG Document ptc\/03-10-04 (2003)"},{"issue":"4","key":"271_CR91","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1109\/TSE.2014.2364175","volume":"41","author":"A Panichella","year":"2015","unstructured":"Panichella, A., Oliveto, R., Di Penta, M., De Lucia, A.: Improving multi-objective test case selection by injecting diversity in genetic algorithms. IEEE Trans. Softw. Eng. 41(4), 358\u2013383 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"271_CR92","doi-asserted-by":"crossref","unstructured":"Rose, L.M., Poulding, S.M.: Efficient probabilistic testing of model transformations using search. In: Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, pp. 16\u201321 (2013)","DOI":"10.1109\/CMSBSE.2013.6604431"},{"issue":"05","key":"271_CR93","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1142\/S0218194016300013","volume":"26","author":"RH Rosero","year":"2016","unstructured":"Rosero, R.H., G\u00f3mez, O.S., Rodr\u00edguez, G.: 15 years of software regression testing techniques\u2014a survey. Int. J. Softw. Eng. Knowl. Eng. 26(05), 675\u2013689 (2016)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"271_CR94","unstructured":"Rothermel, G., Harrold, M.J.: A safe, efficient algorithm for regression test selection. In: Proceedings of the International Conference on Software Maintenance (ICSM), pp. 358\u2013367. IEEE (1993)"},{"key":"271_CR95","doi-asserted-by":"crossref","unstructured":"Rothermel, G., Harrold, M.J.: Selecting tests and identifying test coverage requirements for modified software. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pp. 169\u2013184 (1994)","DOI":"10.1145\/186258.187171"},{"issue":"2","key":"271_CR96","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1023\/A:1009765704299","volume":"2","author":"G Rothermel","year":"1997","unstructured":"Rothermel, G., Harrold, M.J.: Experience with regression test selection. Empir. Softw. Eng. 2(2), 178\u2013188 (1997)","journal-title":"Empir. Softw. Eng."},{"key":"271_CR97","doi-asserted-by":"crossref","unstructured":"Saada, H., Huchard, M., Nebut, C., Sahraoui, H.A.: Recovering model transformation traces using multi-objective optimization. In: Proceedings of the 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 688\u2013693 (2013)","DOI":"10.1109\/ASE.2013.6693134"},{"issue":"11","key":"271_CR98","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1002\/smr.1735","volume":"27","author":"D Sahin","year":"2015","unstructured":"Sahin, D., Kessentini, M., Wimmer, M., Deb, K.: Model transformation testing: a bi-level search-based software engineering approach. J. Softw. Evol. Process 27(11), 821\u2013837 (2015)","journal-title":"J. Softw. Evol. Process"},{"issue":"2","key":"271_CR99","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Comput. 39(2), 25 (2006)","journal-title":"IEEE Comput."},{"issue":"2","key":"271_CR100","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1177\/1065912907313077","volume":"61","author":"J Seawright","year":"2008","unstructured":"Seawright, J., Gerring, J.: Case selection techniques in case study research: a menu of qualitative and quantitative options. Polit. Res. Q. 61(2), 294\u2013308 (2008)","journal-title":"Polit. Res. Q."},{"key":"271_CR101","doi-asserted-by":"crossref","unstructured":"Selim, G.M., Cordy, J.R., Dingel, J.: Model transformation testing: the state of the art. In: Proceedings of the First Workshop on the Analysis of Model Transformations, pp. 21\u201326. ACM (2012)","DOI":"10.1145\/2432497.2432502"},{"key":"271_CR102","unstructured":"Sharma, C., Sabharwal, S., Sibal, R.: Applying genetic algorithm for prioritization of test case scenarios derived from uml diagrams (2014). arXiv preprint arXiv:1410.4838"},{"key":"271_CR103","doi-asserted-by":"crossref","unstructured":"Shelburg, J., Kessentini, M., Tauritz, D.R.: Regression testing for model transformations: a multi-objective approach. In: Proceedings of the International Symposium on Search Based Software Engineering (SSBSE), pp. 209\u2013223 (2013)","DOI":"10.1007\/978-3-642-39742-4_16"},{"key":"271_CR104","unstructured":"Taha, A.B., Thebaut, S.M., Liu, S.S.: An approach to software fault localization and revalidation based on incremental data flow analysis. In: Proceedings of the Thirteenth Annual International Computer Software and Applications Conference, pp. 527\u2013534. IEEE (1989)"},{"key":"271_CR105","doi-asserted-by":"publisher","DOI":"10.1002\/9780470496916","volume-title":"Metaheuristics: From Design to Implementation","author":"EG Talbi","year":"2009","unstructured":"Talbi, E.G.: Metaheuristics: From Design to Implementation, vol. 74. Wiley, New York (2009)"},{"key":"271_CR106","doi-asserted-by":"crossref","unstructured":"Troya, J., Bergmayr, A., Burgue\u00f1o, L., Wimmer, M.: Towards systematic mutations for and with ATL model transformations. In: Proceedings of the Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 1\u201310. IEEE (2015)","DOI":"10.1109\/ICSTW.2015.7107455"},{"issue":"3","key":"271_CR107","doi-asserted-by":"publisher","first-page":"13:1","DOI":"10.1145\/3241744","volume":"27","author":"J Troya","year":"2018","unstructured":"Troya, J., Segura, S., Parejo, J.A., Cort\u00e9s, A.R.: Spectrum-based fault localization in model transformations. ACM Trans. Softw. Eng. Methodol. (TOSEM) 27(3), 13:1\u201313:50 (2018)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"271_CR108","doi-asserted-by":"crossref","unstructured":"Vallecillo, A., Gogolla, M., Burgueno, L., Wimmer, M., Hamann, L.: Formal specification and testing of model transformations. In: International School on Formal Methods for the Design of Computer, Communication and Software Systems, pp. 399\u2013437. Springer (2012)","DOI":"10.1007\/978-3-642-30982-3_11"},{"key":"271_CR109","doi-asserted-by":"crossref","unstructured":"Van Der\u00a0Straeten, R., Mens, T., Van\u00a0Baelen, S.: Challenges in model-driven software engineering. In: International Conference on Model Driven Engineering Languages and Systems, pp. 35\u201347. Springer (2008)","DOI":"10.1007\/978-3-642-01648-6_4"},{"key":"271_CR110","unstructured":"Wang, W., Kessentini, M., Jiang, W.: Test cases generation for model transformations from structural information. In: Proceedings of the MDEBE@MoDELS Workshop, pp. 42\u201351 (2013)"},{"key":"271_CR111","doi-asserted-by":"crossref","unstructured":"Wang, H., Kessentini, M., Ouni, A.: Bi-level identification of web service defects. In: International Conference on Service-Oriented Computing, pp. 352\u2013368. Springer, Cham (2016)","DOI":"10.1007\/978-3-319-46295-0_22"},{"key":"271_CR112","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Burgue\u00f1o, L.: Testing M2T\/T2M transformations. In: Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 203\u2013219. Springer (2013)","DOI":"10.1007\/978-3-642-41533-3_13"},{"key":"271_CR113","unstructured":"Wu, H., Monahan, R., Power, J.F.: Metamodel Instance Generation: A Systematic Literature Review (2012). arXiv preprint arXiv:1211.6322"},{"key":"271_CR114","unstructured":"Yau, S.S., Kishimoto, Z.: Method for revalidating modified programs in the maintenance phase. In: Proceedings of the IEEE Computer Society\u2019s International Computer Software and Applications Conference. IEEE (1987)"},{"key":"271_CR115","doi-asserted-by":"crossref","unstructured":"Yoo, S., Harman, M.: Pareto efficient multi-objective test case selection. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pp. 140\u2013150. ACM (2007)","DOI":"10.1145\/1273463.1273483"},{"issue":"2","key":"271_CR116","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/stv.430","volume":"22","author":"S Yoo","year":"2012","unstructured":"Yoo, S., Harman, M.: Regression testing minimization, selection and prioritization: a survey. Softw. Test. Verif. Reliab. 22(2), 67\u2013120 (2012)","journal-title":"Softw. Test. Verif. Reliab."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-020-00271-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10515-020-00271-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-020-00271-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,21]],"date-time":"2022-10-21T03:05:12Z","timestamp":1666321512000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10515-020-00271-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,12]]},"references-count":116,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["271"],"URL":"https:\/\/doi.org\/10.1007\/s10515-020-00271-w","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,4,12]]},"assertion":[{"value":"12 April 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 March 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 April 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}