{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T18:42:22Z","timestamp":1784572942803,"version":"3.55.0"},"reference-count":233,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,4,1]],"date-time":"2017-04-01T00:00:00Z","timestamp":1491004800000},"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":["Autom Softw Eng"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s10515-017-0215-4","type":"journal-article","created":{"date-parts":[[2017,4,1]],"date-time":"2017-04-01T12:46:04Z","timestamp":1491050764000},"page":"233-294","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":65,"title":["A survey on search-based model-driven engineering"],"prefix":"10.1007","volume":"24","author":[{"given":"Ilhem","family":"Boussa\u00efd","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Patrick","family":"Siarry","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohamed","family":"Ahmed-Nacer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,4,1]]},"reference":[{"key":"215_CR1","doi-asserted-by":"crossref","unstructured":"Abdeen, H., Varr\u00f3, D., Sahraoui, H., Nagy, A.S., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., Debreceni, C.: Multi-objective optimization in rule-based design space exploration. In: 29th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2014), Vasteras, Sweden (2014)","DOI":"10.1145\/2642937.2643005"},{"key":"215_CR2","doi-asserted-by":"crossref","unstructured":"Ab. Rahim, L., Whittle, J.: A survey of approaches for verifying model transformations. Softw. Syst. Model. 14(2), 1003\u20131028 (2015)","DOI":"10.1007\/s10270-013-0358-0"},{"issue":"9","key":"215_CR3","doi-asserted-by":"crossref","first-page":"11984","DOI":"10.1016\/j.eswa.2011.03.041","volume":"38","author":"W Afzal","year":"2011","unstructured":"Afzal, W., Torkar, R.: Review: on the application of genetic programming for software engineering predictive modeling: a systematic review. Expert Syst. Appl. 38(9), 11984\u201311997 (2011)","journal-title":"Expert Syst. Appl."},{"issue":"6","key":"215_CR4","doi-asserted-by":"crossref","first-page":"957","DOI":"10.1016\/j.infsof.2008.12.005","volume":"51","author":"W Afzal","year":"2009","unstructured":"Afzal, W., Torkar, R., Feldt, R.: A systematic review of search-based testing for non-functional system properties. Inf. Softw. Technol. 51(6), 957\u2013976 (2009)","journal-title":"Inf. Softw. Technol."},{"issue":"5","key":"215_CR5","doi-asserted-by":"crossref","first-page":"658","DOI":"10.1109\/TSE.2012.64","volume":"39","author":"A Aleti","year":"2013","unstructured":"Aleti, A., Buhnova, B., Grunske, L., Koziolek, A., Meedeniya, I.: Software architecture optimization methods: a systematic literature review. IEEE Trans. Softw. Eng. 39(5), 658\u2013683 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"215_CR6","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1109\/TSE.2009.52","volume":"36","author":"S Ali","year":"2010","unstructured":"Ali, S., Briand, L.C., Hemmati, H., Panesar-Walawege, R.K.: A systematic review of the application and empirical investigation of search-based test case generation. IEEE Trans. Softw. Eng. 36(6), 742\u2013762 (2010)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"215_CR7","first-page":"41","volume-title":"Proceedings of the 11th International Conference On Quality Software (QSIC \u201911)","author":"S Ali","year":"2011","unstructured":"Ali, S., Zohaib Iqbal, M., Arcuri, A., Briand, L.C.: A Search-based OCL constraint solver for model-based test data generation. In: Manuel, N., Hierons, R.M., Merayo, M.G. (eds.) Proceedings of the 11th International Conference On Quality Software (QSIC \u201911), pp. 41\u201350. IEEE Computer Society, Madrid (2011)"},{"issue":"10","key":"215_CR8","doi-asserted-by":"crossref","first-page":"1376","DOI":"10.1109\/TSE.2013.17","volume":"39","author":"S Ali","year":"2013","unstructured":"Ali, S., Zohaib Iqbal, M., Arcuri, A., Briand, L.C.: Generating test data from ocl constraints with search techniques. IEEE Trans. Softw. Eng. 39(10), 1376\u20131402 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"215_CR9","doi-asserted-by":"crossref","unstructured":"Amal, B., Kessentini, M., Bechikh, S., Dea, J., Ben\u00a0Said, L.: On the use of machine learning and search-based software engineering for ill-defined fitness function: a case study on software refactoring. In: Proceedings of the 6th International Symposium on Search-Based Software Engineering (SSBSE \u201914), vol. 8636, pp. 31\u201345. Springer, Fortaleza, 26\u201329 August (2014)","DOI":"10.1007\/978-3-319-09940-8_3"},{"issue":"2","key":"215_CR10","first-page":"235","volume":"1","author":"M Amoui","year":"2006","unstructured":"Amoui, M., Mirarab, S., Ansari, S., Lucas, C.: A genetic algorithm approach to design evolution using design pattern transformation. Int. J. Inf. Technol. Intell. Comput. (ITIC \u201906) 1(2), 235\u2013244 (2006)","journal-title":"Int. J. Inf. Technol. Intell. Comput. (ITIC \u201906)"},{"key":"215_CR11","doi-asserted-by":"crossref","unstructured":"Amrani, M., Lucio, L., Selim, G., Combemale, B., Dingel, J., Vangheluwe, H., Le Traon, Y., Cordy, J.R.: A tridimensional approach for studying the formal verification of model transformations. In: Proceedings of the 2012 IEEE Fifth International Conference on Software Testing. Verification and Validation, ICST \u201912, pp. 921\u2013928. IEEE Computer Society, Washington, DC, USA (2012)","DOI":"10.1109\/ICST.2012.197"},{"issue":"8","key":"215_CR12","doi-asserted-by":"crossref","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand, S., Burke, E.K., Chen, T.Y., Clark, J., Cohen, M.B., Grieskamp, W., Harman, M., Harrold, M.J., Mcminn, P.: An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86(8), 1978\u20132001 (2013)","journal-title":"J. Syst. Softw."},{"key":"215_CR13","doi-asserted-by":"crossref","unstructured":"Andrade, S.S., de\u00a0A\u00a0Macdo, R.J.: Toward systematic conveying of architecture design knowledge for self-adaptive systems. In: Proceedings of the 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (SASOW \u201913), pp. 23\u201324. IEEE, Philadelphia, PA, USA, 9\u201313 September (2013)","DOI":"10.1109\/SASOW.2013.13"},{"key":"215_CR14","doi-asserted-by":"crossref","unstructured":"Aneesa, S., Ab\u00a0Hamid, S.H., Mustafa, M.B.: The experimental applications of search-based techniques for model-based testing: taxonomy and systematic literature review. Appl. Soft Comput. 49(C), 1094\u20131117 (2016)","DOI":"10.1016\/j.asoc.2016.08.030"},{"key":"215_CR15","doi-asserted-by":"crossref","unstructured":"Antoniol, G., Di\u00a0Penta, M., Harman, M.: A robust search-based approach to project management in the presence of abandonment, rework, error and uncertainty. In: 10th International Software Metrics Symposium (METRICS 2004), pp. 172\u2013183. IEEE Computer Society Press, Los Alamitos, California, USA (2004)","DOI":"10.1109\/METRIC.2004.1357901"},{"key":"215_CR16","doi-asserted-by":"crossref","unstructured":"Arzoky, M., Swift, S., Tucker, A., Cain, J.: Munch: an efficient modularisation strategy to assess the degree of refactoring on sequential source code checkings. In: Proceedings of the 4th International Conference on Software Testing, Verification and Validation Workshops (ICSTW \u201911), pp. 422\u2013429. IEEE, Berlin, Germany, 21\u201325 March (2011)","DOI":"10.1109\/ICSTW.2011.87"},{"issue":"14","key":"215_CR17","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1016\/S0950-5849(01)00194-X","volume":"43","author":"A Bagnall","year":"2001","unstructured":"Bagnall, A., Rayward-Smith, V., Whittley, I.: The next release problem. Inf. Softw. Technol. 43(14), 883\u2013890 (2001)","journal-title":"Inf. Softw. Technol."},{"key":"215_CR18","doi-asserted-by":"crossref","unstructured":"Baki, I., Sahraoui, H., Cobbaert, Q., Masson, P., Faunes, M.: Learning implicit and explicit control in model transformations by example. In: Dingel, J., Schulte, W., Ramos, I., Abraho, S., Insfran, E. (eds.) Model-driven engineering languages and systems. Lecture Notes in Computer Science, vol. 8767, pp. 636\u2013652. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-11653-2_39"},{"key":"215_CR19","unstructured":"Balaban, M., Gogolla, M. (eds.): Proceedings of the ACM Student Research Competition at MODELS 2015 co-located with the ACM\/IEEE 18th International Conference MODELS 2015, Ottawa, Canada, September 29, 2015, volume 1503 of CEUR Workshop Proceedings. CEUR-WS.org (2015)"},{"issue":"1","key":"215_CR20","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/32.979986","volume":"28","author":"J Bansiya","year":"2002","unstructured":"Bansiya, J., Davis, C.G.: A hierarchical model for object-oriented design quality assessment. IEEE Trans. Softw. Eng. 28(1), 4\u201317 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"215_CR21","unstructured":"Batot, E.: Generating examples for knowledge abstraction in MDE: a multi-objective framework. In: Balaban and Gogolla (2015), pp. 1\u20136 (2015)"},{"issue":"2","key":"215_CR22","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/MS.2005.30","volume":"22","author":"B Baudry","year":"2005","unstructured":"Baudry, B., Fleurey, F., Jzquel, J.-M., Le Traon, Y.: Automatic test cases optimization: a bacteriologic algorithm. IEEE Softw. 22(2), 76\u201382 (2005)","journal-title":"IEEE Softw."},{"key":"215_CR23","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: ECMDA Workshop on Integration of Model Driven Development and Model Driven Testing, Bilbao, Spain (2006)"},{"issue":"6","key":"215_CR24","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., Le Traon, Y., Mottu, J.-M.: Barriers to systematic model transformation testing. Commun. ACM 53(6), 139\u2013143 (2010)","journal-title":"Commun. ACM"},{"key":"215_CR25","doi-asserted-by":"crossref","unstructured":"ben Fadhel, A., Kessentini, M., Langer, P., Wimmer, M.: Search-based detection of high-level model changes. In: IEEE International Conference on Software Maintenance, pp. 212\u2013221. IEEE Computer Society, , Los Alamitos, CA, USA (2012)","DOI":"10.1109\/ICSM.2012.6405274"},{"key":"215_CR26","doi-asserted-by":"crossref","unstructured":"Bencomo, N., France, R.B., Cheng, B.H.C., A\u00dfmann, U. (eds.): Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27\u2013December 2, 2011], volume 8378 of Lecture Notes in Computer Science. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-08915-7"},{"issue":"2","key":"215_CR27","first-page":"21","volume":"5","author":"J B\u00e9zivin","year":"2004","unstructured":"B\u00e9zivin, J.: In search of a basic principle for model driven engineering. Novatica J. 5(2), 21\u201324 (2004)","journal-title":"Novatica J."},{"key":"215_CR28","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J.: Model driven engineerings: an emerging technical space. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4143 LNCS: 36\u201364 (2006)","DOI":"10.1007\/11877028_2"},{"key":"215_CR29","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., Gerb\u00e9, O.: Towards a precise definition of the omg\/mda framework. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering, ASE \u201901, p. 273. IEEE Computer Society, Washington, DC, USA (2001)","DOI":"10.1109\/ASE.2001.989813"},{"key":"215_CR30","unstructured":"Birattari, M., Paquete, L., St\u00fctzle, T., Varrentrapp, K.: Classification of Metaheuristics and Design of Experiments for the Analysis of Components. Technical Report AIDA-01-05, FG Intellektik, FB Informatik, Technische Universitt Darmstadt, Darmstadt, Germany, (2001)"},{"issue":"6","key":"215_CR31","doi-asserted-by":"crossref","first-page":"4135","DOI":"10.1016\/j.asoc.2011.02.032","volume":"11","author":"C Blum","year":"2011","unstructured":"Blum, C., Puchinger, J., Raidl, G.R., Roli, A.: Hybrid metaheuristics in combinatorial optimization: a survey. Appl. Soft Comput. 11(6), 4135\u20134151 (2011)","journal-title":"Appl. Soft Comput."},{"key":"215_CR32","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/j.ins.2013.02.041","volume":"237","author":"I Boussa\u00efd","year":"2013","unstructured":"Boussa\u00efd, I., Lepagnot, J., Siarry, P.: A survey on optimization metaheuristics. Inf. Sci. 237, 82\u2013117 (2013)","journal-title":"Inf. Sci."},{"key":"215_CR33","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/978-3-642-02161-9_3","volume-title":"Software Engineering for Self-Adaptive Systems","author":"Y Brun","year":"2009","unstructured":"Brun, Y., Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H., Litoiu, M., M\u00fcller, H., Pezz\u00e8, M., Shaw, M.: Engineering self-adaptive systems through feedback loops. In: Cheng, B.H., Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems, pp. 48\u201370. Springer, Berlin (2009)"},{"issue":"2","key":"215_CR34","doi-asserted-by":"crossref","first-page":"225","DOI":"10.2298\/CSIS110114012B","volume":"8","author":"BR Bryant","year":"2011","unstructured":"Bryant, B.R., Gray, J., Mernik, M., Clarke, P.J., France, R.B., 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."},{"key":"215_CR35","doi-asserted-by":"crossref","unstructured":"Burton, F.R., Poulding, S.: Complementing metaheuristic search with higher abstraction techniques. In: 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE), pp. 45\u201348 (2013)","DOI":"10.1109\/CMSBSE.2013.6604436"},{"key":"215_CR36","doi-asserted-by":"crossref","unstructured":"Cadavid, J.J., Baudry, B., Sahraoui, H.A.: Searching the boundaries of a modeling space to test metamodels. In: Antoniol, G., Bertolino, A., Labiche, Y. (eds.) ICST, pp. 131\u2013140. IEEE (2012)","DOI":"10.1109\/ICST.2012.93"},{"key":"215_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"BH Cheng","year":"2009","unstructured":"Cheng, B.H., Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Bencomo, N., Brun, Y., Cukic, B., Marzo Serugendo, G., Dustdar, S., Finkelstein, A., Gacek, C., Geihs, K., Grassi, V., Karsai, G., Kienle, H.M., Kramer, J., Litoiu, M., Malek, S., Mirandola, R., M\u00fcller, H.A., Park, S., Shaw, M., Tichy, M., Tivoli, M., Weyns, D., Whittle, J.: Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H., Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems, pp. 1\u201326. Springer, Berlin (2009)"},{"key":"215_CR38","doi-asserted-by":"crossref","unstructured":"Cheng, B.H.C., Ramirez, A., McKinley, P.K.: Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty. In: 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE), pp. 1\u20136 (2013)","DOI":"10.1109\/CMSBSE.2013.6604427"},{"key":"215_CR39","unstructured":"Chicano, F., Alba, E.: Management of software projects with gas. In: 6th Metaheuristics International Conference (MIC2005), Vienna, Austria (2005)"},{"key":"215_CR40","doi-asserted-by":"crossref","unstructured":"Chis\u01celi\u0163\u01ce-Cre\u0163u, C.: The Multi-Objective Refactoring Set Selection Problem\u2014A Solution Representation Analysis, pp. 441\u2013462. InTech (2011)","DOI":"10.5772\/15975"},{"key":"215_CR41","doi-asserted-by":"crossref","unstructured":"Cinnide, M., Tratt, L., Harman, M., Counsell, S., Moghadam, I.H.: Experimental assessment of software metrics using automated refactoring. In: Proceedings of the ACM-IEEE 6th International Symposium on Empirical Software Engineering and Measurement (ESEM \u201912), pp. 49\u201358. ACM, Sweden, 17\u201322 September (2012)","DOI":"10.1145\/2372251.2372260"},{"issue":"3","key":"215_CR42","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1049\/ip-sen:20030559","volume":"150","author":"JA Clark","year":"2003","unstructured":"Clark, J.A., Dolado, J.J., Harman, M., Hierons, R.M., Jones, B.F., Lumkin, M., Mitchell, B.S., Mancoridis, S., Rees, K., Roper, M., Shepperd, M.J.: Reformulating software engineering as a search problem. IEEE Proc. Softw. 150(3), 161\u2013175 (2003)","journal-title":"IEEE Proc. Softw."},{"issue":"4","key":"215_CR43","doi-asserted-by":"crossref","first-page":"970","DOI":"10.1016\/j.jss.2012.07.041","volume":"86","author":"TE Colanzi","year":"2013","unstructured":"Colanzi, T.E., Vergilio, S.R., Assuno, W.K.G., Pozo, A.: Search based software engineering: Review and analysis of the field in brazil. J. Syst. Softw. 86(4), 970\u2013984 (2013)","journal-title":"J. Syst. Softw."},{"issue":"7","key":"215_CR44","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/315253.314414","volume":"34","author":"KD Cooper","year":"1999","unstructured":"Cooper, K.D., Schielke, P.J., Subramanian, D.: Optimizing for reduced code space using genetic algorithms. SIGPLAN Not. 34(7), 1\u20139 (1999)","journal-title":"SIGPLAN Not."},{"key":"215_CR45","unstructured":"Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of MDA (2003)"},{"issue":"3","key":"215_CR46","doi-asserted-by":"crossref","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)","journal-title":"IBM Syst. J."},{"key":"215_CR47","doi-asserted-by":"crossref","unstructured":"de\u00a0Freitas, F.G., de\u00a0Souza, J.T.: Ten years of search based software engineering: a bibliometric analysis. In: Proceedings of the 3rd International Symposium on Search Based Software Engineering (SSBSE \u201911), vol. 6956, pp. 18\u201332. Springer, Szeged, Hungary, 10\u201312 September (2011)","DOI":"10.1007\/978-3-642-23716-4_5"},{"key":"215_CR48","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-35813-5_1","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"R Lemos de","year":"2013","unstructured":"de Lemos, R., Giese, H., M\u00fcller, H., Shaw, M., Andersson, J., Baresi, L., Becker, B., Bencomo, N., Brun, Y., Cikic, B., Desmarais, R., Dustdar, S., Engels, G., Geihs, K., Goeschka, K.M., Gorla, A., Grassi, V., Inverardi, P., Karsai, G., Kramer, J., Litoiu, M., Lopes, A., Magee, J., Malek, S., Mankovskii, S., Mirandola, R., Mylopoulos, J., Nierstrasz, O., Pezz\u00e8, M., Prehofer, C., Sch\u00e4fer, W., Schlichting, W., Schmerl, B., Smith, D.B., Sousa, J.P., Tamura, G., Tahvildari, L., Villegas, N.M., Vogel, T., Weyns, D., Wong, K., Wuttke, J.: Software engineering for self-adaptive systems: a second research roadmap. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II, vol. 7475, pp. 1\u201332. Springer, New York (2013)"},{"key":"215_CR49","doi-asserted-by":"crossref","unstructured":"Debreceni, C., R\u00e1th, I., Varr\u00f3, D., De Carlos, X., Mendialdua, X., Trujillo, S.: Automated model merge by design space exploration. In: Stevens, P., Wasowski, A. (eds.) Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2\u20138, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9633, pp. 104\u2013121. Springer, Berlin (2016)","DOI":"10.1007\/978-3-662-49665-7_7"},{"key":"215_CR50","doi-asserted-by":"crossref","unstructured":"Denil, J., Jukss, M., Verbrugge, C., Vangheluwe, H.: Search-based model optimization using model transformations. In: Amyot, D., Fonseca\u00a0i Casas, P., Mussbacher, G. (eds.) System Analysis and Modeling: Models and Reusability, volume 8769 of Lecture Notes in Computer Science, pp. 80\u201395. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-11743-0_6"},{"key":"215_CR51","doi-asserted-by":"crossref","unstructured":"Dias Neto, A.C., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: a systematic review. Proceedings of the 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies: Held in Conjunction with the 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE) 2007. WEASELTech \u201907, pp. 31\u201336. ACM, New York, NY, USA (2007)","DOI":"10.1145\/1353673.1353681"},{"key":"215_CR52","unstructured":"Dolado, J.J., Fernndez, L.: Genetic programming, neural networks and linear regression in software project estimation. In: Proceedings of INSPIRE III, Process Improvement through Training and Education (1998)"},{"issue":"1","key":"215_CR53","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/3477.484436","volume":"26","author":"M Dorigo","year":"1996","unstructured":"Dorigo, M., Maniezzo, V., Colorni, A.: The ant system: optimization by a colony of cooperating agents. IEEE Trans. Syst. Man Cybern. Part B 26(1), 29\u201341 (1996)","journal-title":"IEEE Trans. Syst. Man Cybern. Part B"},{"key":"215_CR54","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/ICSEA.2007.70","volume":"2007","author":"C Doungsa-ard","year":"2007","unstructured":"Doungsa-ard, C., Dahal, K., Hossain, A., Suwannasart, T.: Test data generation from UML state machine diagrams using GAs. Int. Conf. Softw. Eng. Adv. ICSEA 2007, 47\u201347 (2007)","journal-title":"Int. Conf. Softw. Eng. Adv. ICSEA"},{"key":"215_CR55","doi-asserted-by":"crossref","unstructured":"Durillo, J.J., Zhang, Y., Alba, E., Nebro, A.\u00a0J.: A study of the multi-objective next release problem. In: Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE \u201909), pp. 49\u201358. Cumberland Lodge, Windsor, UK, 13-15 May (2009)","DOI":"10.1109\/SSBSE.2009.21"},{"issue":"1\u20133","key":"215_CR56","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0167-2789(86)90240-X","volume":"2","author":"JD Farmer","year":"1986","unstructured":"Farmer, J.D., Packard, N.H., Perelson, A.S.: The immune system, adaptation, and machine learning. Phys. D 2(1\u20133), 187\u2013204 (1986)","journal-title":"Phys. D"},{"key":"215_CR57","doi-asserted-by":"crossref","unstructured":"Farooq, U., Lam, C.P.: Evolving the quality of a model based test suite. Proceedings of the IEEE International Conference on Software Testing. Verification, and Validation Workshops, ICSTW \u201909, pp. 141\u2013149. IEEE Computer Society, Washington, DC, USA (2009)","DOI":"10.1109\/ICSTW.2009.27"},{"key":"215_CR58","doi-asserted-by":"crossref","unstructured":"Fatiregun, D., Harman, M., Hierons, R.M.: Search based transformations. In: Proceedings of the 2003 Conference on Genetic and Evolutionary Computation (GECCO \u201903), volume 2724, pp. 2511\u20132512. Springer, Chicago, Illinois, USA, 12-16 July (2003)","DOI":"10.1007\/3-540-45110-2_154"},{"key":"215_CR59","doi-asserted-by":"crossref","unstructured":"Fatiregun, D., Harman, M., Hierons, R.M.: Evolving transformation sequences using genetic algorithms. In: Proceedings of the 4th IEEE International Workshopthe on Source Code Analysis and Manipulation (SCAM \u201904), pp. 65\u201374. IEEE, Chicago, Illinois, USA, 15\u201316 September (2004)","DOI":"10.1109\/SCAM.2004.11"},{"key":"215_CR60","doi-asserted-by":"crossref","unstructured":"Fatiregun, D., Harman, M., Hierons, R.M.: Search-based amorphous slicing. In: Proceedings of the 12th International Working Conference on Reverse Engineering (WCRE \u201905), pp. 3\u201312. IEEE, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, 7\u201311 November (2005)","DOI":"10.1109\/WCRE.2005.28"},{"key":"215_CR61","doi-asserted-by":"crossref","unstructured":"Faunes, M., Sahraoui, H., Boukadoum, M.: Generating model transformation rules from examples using an evolutionary algorithm. Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering. ASE 2012, pp. 250\u2013253. ACM, New York, NY, USA (2012)","DOI":"10.1145\/2351676.2351714"},{"key":"215_CR62","doi-asserted-by":"crossref","unstructured":"Faunes, M., Cadavid, J., Baudry, B., Sahraoui, H., Combemale, B.: Automatically searching for metamodel well-formedness rules in examples and counter-examples. MODELS\u2013ACM\/IEEE 16th International Conference on Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, pp. 187\u2013202. Springer, Miami, USA (2013a)","DOI":"10.1007\/978-3-642-41533-3_12"},{"key":"215_CR63","doi-asserted-by":"crossref","unstructured":"Faunes, M., Sahraoui, H., Boukadoum, M.: Genetic-Programming Approach to Learn Model Transformation Rules from Examples. In: Duddy, K., Kappel, G. (eds.) Theory and Practice of Model Transformations. Lecture Notes in Computer Science, vol. 7909, pp. 17\u201332. Springer, Berlin Heidelberg (2013b)","DOI":"10.1007\/978-3-642-38883-5_2"},{"key":"215_CR64","unstructured":"Favre, J.: Towards a basic theory to model model driven engineering. In: Proceedimngs of the UML2004 International Workshop on Software Model Engineering (2004)"},{"issue":"2","key":"215_CR65","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0167-6377(89)90002-3","volume":"8","author":"TA Feo","year":"1989","unstructured":"Feo, T.A., Resende, M.G.C.: A probabilistic heuristic for a computationally difficult set covering problem. Oper. Res. Lett. 8(2), 67\u201371 (1989)","journal-title":"Oper. Res. Lett."},{"issue":"2","key":"215_CR66","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF01096763","volume":"6","author":"TA Feo","year":"1995","unstructured":"Feo, T.A., Resende, M.G.C.: Greedy randomized adaptive search procedures. J. Global Optim. 6(2), 109\u2013133 (1995)","journal-title":"J. Global Optim."},{"key":"215_CR67","unstructured":"Fleck, M., Troya, J., Wimmer, M.: Marrying search-based optimization and model transformation technology. In: Proceedings of the First North American Search Based Software Engineering Symposium, pp. 1\u201316. Elsevier, amsterdam (2015). Vortrag: First North American Search Based Software Engineering Symposium, Michigan; 2015-02-26\u20132015-02-27"},{"key":"215_CR68","doi-asserted-by":"crossref","unstructured":"Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: testing model transformations, pp. 29\u201340. In: First International Workshop on Model, Design and Validation (2004)","DOI":"10.1109\/MODEVA.2004.1425846"},{"key":"215_CR69","volume-title":"Artificial Intelligence through Simulated Evolution","author":"LJ Fogel","year":"1966","unstructured":"Fogel, L.J., Owens, A.J., Walsh, M.J.: Artificial Intelligence through Simulated Evolution. Wiley, New York (1966)"},{"key":"215_CR70","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Boston (1999)"},{"key":"215_CR71","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. 2007 Future of Software Engineering. FOSE \u201907, pp. 37\u201354. IEEE Computer Society, Washington, DC, USA (2007)","DOI":"10.1109\/FOSE.2007.14"},{"key":"215_CR72","doi-asserted-by":"crossref","unstructured":"Ghaith, S., Cinnide, M.: Improving software security using search-based refactoring. In: Proceedings of the 4th International Symposium on Search Based Software Engineering (SSBSE \u201912), vol. 7515, pp. 121\u2013135. Springer, Riva del Garda, Italy, 28\u201330 September (2012)","DOI":"10.1007\/978-3-642-33119-0_10"},{"key":"215_CR73","unstructured":"Ghannem, A., Kessentini, M., El Boussaidi, G.: Detecting model refactoring opportunities using heuristic search. Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research. CASCON \u201911, pp. 175\u2013187. IBM Corp, Riverton, NJ, USA (2011)"},{"key":"215_CR74","doi-asserted-by":"crossref","unstructured":"Ghannem, A., El\u00a0Boussaidi, G., Kessentini, M.: Model refactoring using interactive genetic algorithm. In: Proceedings of the 5th International Symposium on Search Based Software Engineering (SSBSE \u201913), vol. 8084, pp. 96\u2013110. Springer, St. Petersburg, Russia, 24\u201326 August (2013)","DOI":"10.1007\/978-3-642-39742-4_9"},{"issue":"5","key":"215_CR75","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1016\/0305-0548(86)90048-1","volume":"13","author":"F Glover","year":"1986","unstructured":"Glover, F.: Future paths for integer programming and links to artificial intelligence. Comput. Oper. Res. 13(5), 533\u2013549 (1986)","journal-title":"Comput. Oper. Res."},{"key":"215_CR76","doi-asserted-by":"crossref","unstructured":"Goldsby, H.J., Cheng, B.H.: Automatically generating behavioral models of adaptive systems to address uncertainty. Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems. MoDELS \u201908, pp. 568\u2013583. Springer, Berlin (2008a)","DOI":"10.1007\/978-3-540-87875-9_40"},{"key":"215_CR77","doi-asserted-by":"crossref","unstructured":"Goldsby, H.J., Cheng, B.H.C.: Avida-MDE: a digital evolution approach to generating models of adaptive software behavior. Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation. GECCO \u201908, pp. 1751\u20131758. ACM, New York, NY, USA (2008b)","DOI":"10.1145\/1389095.1389434"},{"key":"215_CR78","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1109\/ICAC.2008.26","volume-title":"Proceedings of the 5th International Conference on Autonomic Computing (ICAC 2008)","author":"H Goldsby","year":"2008","unstructured":"Goldsby, H., Cheng, B.H.C., McKinley, P.K., Knoester, D.B., Ofria, C.: Digital evolution of behavioral models for autonomic systems. In: Strassner, J., Dobson, S.A., Fortes, J.A.B., Goswami, K.K. (eds.) Proceedings of the 5th International Conference on Autonomic Computing (ICAC 2008), pp. 87\u201396. IEEE Computer Society, Chicago, Illinois (2008)"},{"key":"215_CR79","doi-asserted-by":"crossref","unstructured":"Greenfield, J., Short, K.: Software factories: assembling applications with patterns, models, frameworks and tools. Companion of the 18th Annual ACM SIGPLAN Conference on Object-oriented Programming. Systems, Languages, and Applications, OOPSLA \u201903, pp. 16\u201327. ACM, New York, NY, USA (2003)","DOI":"10.1145\/949344.949348"},{"key":"215_CR80","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/j.entcs.2004.02.062","volume":"109","author":"S Gyapay","year":"2004","unstructured":"Gyapay, S., Schmidt, \u00c1., Varr\u00f3, 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":"215_CR81","doi-asserted-by":"crossref","unstructured":"H\u00e4nsel, J.: Model based test case generation with metaheuristics for networks of timed automata. In: Proceedings of the 7th International Workshop on Search-Based Software Testing, SBST 2014, pp. 31\u201334, New York, NY, USA, (2014). ACM","DOI":"10.1145\/2593833.2593840"},{"key":"215_CR82","doi-asserted-by":"crossref","unstructured":"Harman, M.: The current state and future of search based software engineering. In: Proceedings of International Conference on Software Engineering\/Future of Software Engineering 2007 (ICSE\/FOSE \u201907), pp. 342\u2013357. IEEE, Minneapolis, Minnesota, USA, 20\u201326 May (2007a)","DOI":"10.1109\/FOSE.2007.29"},{"key":"215_CR83","doi-asserted-by":"crossref","unstructured":"Harman, M.: Search based software engineering for program comprehension. Proceedings of the 15th IEEE International Conference on Program Comprehension. ICPC \u201907, pp. 3\u201313. IEEE Computer Society, Washington, DC, USA (2007b)","DOI":"10.1109\/ICPC.2007.35"},{"key":"215_CR84","doi-asserted-by":"crossref","unstructured":"Harman, M.: The relationship between search based software engineering and predictive modeling. In: Proceedings of the 6th International Conference on Predictive Models in Software Engineering, PROMISE \u201910, pp. 1:1\u20131:13. ACM, New York, NY, USA (2010)","DOI":"10.1145\/1868328.1868330"},{"key":"215_CR85","doi-asserted-by":"crossref","unstructured":"Harman, M.: Refactoring as testability transformation. In: Proceedings of the 4th International Conference on Software Testing, Verification and Validation Workshops (ICSTW \u201911), pp. 414\u2013421. IEEE, Berlin, Germany, 21\u201325 March (2011)","DOI":"10.1109\/ICSTW.2011.38"},{"key":"215_CR86","doi-asserted-by":"crossref","unstructured":"Harman, M.: The role of artificial intelligence in software engineering. In: 2012 First International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE), pp. 1\u20136 (2012)","DOI":"10.1109\/RAISE.2012.6227961"},{"issue":"14","key":"215_CR87","doi-asserted-by":"crossref","first-page":"833","DOI":"10.1016\/S0950-5849(01)00189-6","volume":"43","author":"M Harman","year":"2001","unstructured":"Harman, M., Jones, B.F.: Search-based software engineering. Inf. Softw. Technol. 43(14), 833\u2013839 (2001)","journal-title":"Inf. Softw. Technol."},{"key":"215_CR88","unstructured":"Harman, M., Hu, L., Hierons, R., Proctor, M.: A new representation and crossover operator for search-based optimization of software modularization. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2002), pp. 1351\u20131358. Morgan Kaufmann Publishers, New York, USA, 9\u201313 (2002)"},{"key":"215_CR89","doi-asserted-by":"crossref","unstructured":"Harman, M., Baresel, A., Binkley, D., Hierons, R., Lin, H., Korel, B., McMinn, P., Roper, M.: Testability transformation\u2013program transformation to improve testability. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing. Lecture Notes in Computer Science, vol. 4949, pp. 320\u2013344. Springer, New York (2008)","DOI":"10.1007\/978-3-540-78917-8_11"},{"key":"215_CR90","doi-asserted-by":"crossref","unstructured":"Harman, M., Burke, E., Clark, J., Yao, X.: Dynamic adaptive search based software engineering. Proceedings of the ACM-IEEE International Symposium on Empirical Software Engineering and Measurement. ESEM \u201912, pp. 1\u20138. ACM, New York, NY, USA (2012a)","DOI":"10.1145\/2372251.2372253"},{"key":"215_CR91","doi-asserted-by":"crossref","unstructured":"Harman, M., Burke, E., Clark, J.A., Yao, X.: Dynamic adaptive search based software engineering. In: Proceedings of the 6th International Symposium on Empirical Software Engineering and Measurement (ESEM \u201912) (Keynote), pp. 1\u20138. ACM, Lund, Sweden, 19\u201320 September (2012b)","DOI":"10.1145\/2372251.2372253"},{"key":"215_CR92","doi-asserted-by":"crossref","unstructured":"Harman, M., Mansouri, S.A., Zhang, Y.: Search-based software engineering: trends, techniques and applications. ACM Comput. Surv. 45(1), 11:1\u201311:61 (2012c)","DOI":"10.1145\/2379776.2379787"},{"key":"215_CR93","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-25231-0_1","volume":"7007","author":"M Harman","year":"2012","unstructured":"Harman, M., McMinn, P., de Souza, J.T., Yoo, S.: Search based software engineering: Techniques, taxonomy, tutorial. Empir. Softw. Eng. Verif. 7007, 1\u201359 (2012d)","journal-title":"Empir. Softw. Eng. Verif."},{"key":"215_CR94","doi-asserted-by":"crossref","unstructured":"Harman, M., Clark, J., Cinneidez, M.O.: Dynamic adaptive search based software engineering needs fast approximate metrics (keynote). In: 4th International Workshop on Emerging Trends in Software Metrics (WETSoM), pp. 1\u20136 (2013a)","DOI":"10.1109\/WETSoM.2013.6619329"},{"issue":"9","key":"215_CR95","doi-asserted-by":"crossref","first-page":"2225","DOI":"10.1016\/j.jss.2012.10.027","volume":"86","author":"M Harman","year":"2013","unstructured":"Harman, M., Lakhotia, K., Singer, J., White, D.R., Yoo, S.: Cloud engineering is search based software engineering too. J. Syst. Softw. 86(9), 2225\u20132241 (2013b)","journal-title":"J. Syst. Softw."},{"key":"215_CR96","doi-asserted-by":"crossref","unstructured":"Harman, M., Jia, Y., Krinke, J., Langdon, W.B., Petke, J., Zhang, Y.: Search based software engineering for software product line engineering: a survey and directions for future work. Proceedings of the 18th International Software Product Line Conference. SPLC \u201914, vol. 1, pp. 5\u201318. ACM, New York, NY, USA (2014a)","DOI":"10.1145\/2648511.2648513"},{"key":"215_CR97","doi-asserted-by":"crossref","unstructured":"Harman, M., Jia, Y., Langdon, W.B., Petke, J., Moghadam, I.H., Yoo, S., Wu, F.: Genetic improvement for adaptive software engineering (keynote). In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS \u201914), pp. 1\u20134. ACM, Hyderabad, India, 2\u20133 June (2014b)","DOI":"10.1145\/2593929.2600116"},{"key":"215_CR98","doi-asserted-by":"crossref","unstructured":"Harman, M., Jia, Y., Zhang, Y.: Achievements, open problems and challenges for search based software testing. In: 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, pp. 1\u201312. IEEE, Graz, Austria, 13\u201317 April (2015)","DOI":"10.1109\/ICST.2015.7102580"},{"key":"215_CR99","doi-asserted-by":"crossref","unstructured":"Hegedus, A., Horvath, A., Rath, I., Varro, D.: A model-driven framework for guided design space exploration. Proceedings of the 2011 26th IEEE\/ACM International Conference on Automated Software Engineering. ASE \u201911, pp. 173\u2013182. IEEE Computer Society, Washington, DC, USA (2011)","DOI":"10.1109\/ASE.2011.6100051"},{"key":"215_CR100","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. Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering. FSE \u201910, pp. 267\u2013276. ACM, New York, NY, USA (2010)","DOI":"10.1145\/1882291.1882331"},{"key":"215_CR101","doi-asserted-by":"crossref","unstructured":"Herrmannsd\u00f6rfer, M., Wachsmuth, G.: Coupled Evolution of Software Metamodels and Models, pp. 33\u201363. Springer, Berlin (2014)","DOI":"10.1007\/978-3-642-45398-4_2"},{"key":"215_CR102","doi-asserted-by":"crossref","unstructured":"Herrmannsdoerfer, M., Benz, S., Juergens, E.: Cope\u2013automating coupled evolution of metamodels and models. Proceedings of the 23rd European Conference on ECOOP 2009\u2013Object-Oriented Programming. Genoa, pp. 52\u201376. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-03013-0_4"},{"key":"215_CR103","volume-title":"Adaptation in Natural and Artificial Systems","author":"JH Holland","year":"1975","unstructured":"Holland, J.H.: Adaptation in Natural and Artificial Systems. University of Michigan Press, Ann Arbor (1975)"},{"issue":"3","key":"215_CR104","first-page":"209","volume":"11","author":"F Ipate","year":"2008","unstructured":"Ipate, F., Lefticaru, R.: Genetic model based testing: a framework and a case study. Roman. J. Inf. Sci. Technol. 11(3), 209\u2013227 (2008)","journal-title":"Roman. J. Inf. Sci. Technol."},{"key":"215_CR105","doi-asserted-by":"crossref","unstructured":"Iqbal, M.Z., Arcuri, A., Briand, L.: Environment modeling with UML\/MARTE to support black-box system testing for real-time embedded systems: methodology and industrial case studies. Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems: Part I. MODELS\u201910, pp. 286\u2013300. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16145-2_20"},{"key":"215_CR106","doi-asserted-by":"crossref","unstructured":"Iqbal, M.Z., Arcuri, A., Briand, L.: Empirical investigation of search algorithms for environment model-based testing of real-time embedded software. In: Proceedings of the 2012 International Symposium on Software Testing and Analysis. ISSTA 2012, pp. 199\u2013209. ACM, New York, NY, USA (2012)","DOI":"10.1145\/2338965.2336777"},{"issue":"2","key":"215_CR107","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"215_CR108","doi-asserted-by":"crossref","unstructured":"Jensen, A.C., Cheng, B.H.C.: On the use of genetic programming for automated refactoring and the introduction of design patterns. Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation. GECCO \u201910, pp. 1341\u20131348. ACM, New York, NY, USA (2010)","DOI":"10.1145\/1830483.1830731"},{"key":"215_CR109","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 7th International Conference on Theory and Practice of Model Transformations (ICMT \u201914), pp. 17\u201324. Springer, York, UK, 21\u201322 July (2014)","DOI":"10.1007\/978-3-319-08789-4_2"},{"key":"215_CR110","doi-asserted-by":"crossref","unstructured":"Kalaji, A.S. Hierons, R., Swift, S.: Generating feasible transition paths for from an extended finite state machine (efsm) with the counter problem. In: Proceeding SBST\u201910: 3rd Intertnational Workshop on Search-Based Software Testing, pp. 232\u2013235 (2010)","DOI":"10.1109\/ICSTW.2010.25"},{"issue":"12","key":"215_CR111","doi-asserted-by":"crossref","first-page":"1297","DOI":"10.1016\/j.infsof.2011.06.004","volume":"53","author":"AS Kalaji","year":"2011","unstructured":"Kalaji, A.S., Hierons, R.M., Swift, S.: An integrated search-based approach for automatic testing from extended finite state machine (efsm) models. Inf. Softw. Technol. 53(12), 1297\u20131318 (2011)","journal-title":"Inf. Softw. Technol."},{"key":"215_CR112","doi-asserted-by":"crossref","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. Lecture Notes in Computer Science, vol. 7260, pp. 197\u2013215. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-28279-9_15"},{"key":"215_CR113","unstructured":"Karaboga, D.: An idea based on Honey Bee Swarm for Numerical Optimization. Technical Report TR06, Erciyes University (2005)"},{"key":"215_CR114","first-page":"1942","volume":"4","author":"J Kennedy","year":"1995","unstructured":"Kennedy, J., Eberhart, R.: Particle swarm optimization. IEEE Int. Conf. Neural Netw. 4, 1942\u20131948 (1995)","journal-title":"IEEE Int. Conf. Neural Netw."},{"key":"215_CR115","doi-asserted-by":"crossref","unstructured":"Kent, S.: Model driven engineering. Proceedings of the Third International Conference on Integrated Formal Methods. IFM \u201902, pp. 286\u2013298. Springer, London, UK (2002)","DOI":"10.1007\/3-540-47884-1_16"},{"key":"215_CR116","unstructured":"Kessentini, W., Sahraoui, H., Wimmer, M.: Automated metamodel\/model co-evolution using a multi-objective optimization approach. In: W\u0105sowski, A., L\u00f6nn, H. (eds.) Modelling Foundations and Applications: 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6\u20137, 2016, Proceedings, pp. 138\u2013155. Springer International Publishing (2016)"},{"key":"215_CR117","doi-asserted-by":"crossref","unstructured":"Kessentini, M., Sahraoui, H., Boukadoum, M.: Model transformation as an optimization problem. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, vol. 5301, pp. 159\u2013173. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87875-9_12"},{"key":"215_CR118","doi-asserted-by":"crossref","unstructured":"Kessentini, M., Sahraoui, H., Boukadoum, M.: Testing sequence diagram to colored petri nets transformation: an immune system metaphor. In: Proceedings of the 20th Annual International Conference of the Center for Advanced Studies on Collaborative Research (CASCON \u201910), pp. 72\u201385. ACM, 1\u20134 November (2010a)","DOI":"10.1145\/1923947.1923955"},{"key":"215_CR119","doi-asserted-by":"crossref","unstructured":"Kessentini, M., Wimmer, M., Sahraoui, H., Boukadoum, M.: Generating transformation rules from examples for behavioral models. In: Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, BM-FA \u201910, pp. 2:1\u20132:7. ACM, New York, NY, USA (2010b)","DOI":"10.1145\/1811147.1811149"},{"issue":"2","key":"215_CR120","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s10515-010-0079-3","volume":"18","author":"M Kessentini","year":"2011","unstructured":"Kessentini, M., Sahraoui, H., Boukadoum, M.: Example-based model transformation testing. Autom. Softw. Eng. 18(2), 199\u2013224 (2011)","journal-title":"Autom. Softw. Eng."},{"issue":"2","key":"215_CR121","doi-asserted-by":"crossref","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."},{"key":"215_CR122","doi-asserted-by":"crossref","unstructured":"Kessentini, M., Langer, P., Wimmer, M.: Searching models, modeling search: on the synergies of SBSE and MDE. In: Proceedings of the 1st ICSE International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE 2013), pp. 51\u201354. IEEE, San Francisco, California, USA (2013a)","DOI":"10.1109\/CMSBSE.2013.6604438"},{"key":"215_CR123","doi-asserted-by":"crossref","unstructured":"Kessentini, M., Werda, W., Langer, P., Wimmer, M.: Search-based Model Merging. In: Proceeding of The 15th Annual Conference on Genetic and Evolutionary Computation (GECCO \u201913), pp. 1453\u20131460. ACM, Amsterdam, The Netherlands, 6\u201310 July (2013b)","DOI":"10.1145\/2463372.2463553"},{"key":"215_CR124","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jss.2014.06.040","volume":"97","author":"M Kessentini","year":"2014","unstructured":"Kessentini, M., Ouni, A., Langer, P., Wimmer, M., Bechikh, S.: Search-based metamodel matching with structural and syntactic measures. J. Syst. Softw. 97, 1\u201314 (2014)","journal-title":"J. Syst. Softw."},{"key":"215_CR125","doi-asserted-by":"crossref","unstructured":"Kilic, H., Koc, E., Cereci, I.: Search-based parallel refactoring using population-based direct approaches. In: Proceedings of the 3rd International Symposium on Search Based Software Engineering (SSBSE \u201911), vol. 6956, pp. 271\u2013272. Springer, Szeged, Hungary, 10\u201312 September (2011)","DOI":"10.1007\/978-3-642-23716-4_26"},{"issue":"4598","key":"215_CR126","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S Kirkpatrick","year":"1983","unstructured":"Kirkpatrick, S., Gelatt, C., Vecchi, M.: Optimization by simulated annealing. Science 220(4598), 671\u2013680 (1983)","journal-title":"Science"},{"key":"215_CR127","unstructured":"Kirsopp, C., Shepperd, M., Hart, J.: Search heuristics, case-based reasoning and software project effort prediction. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2002), pp. 1367\u20131374. Morgan Kaufmann Publishers, New York, USA, 9\u201313 July (2002)"},{"key":"215_CR128","doi-asserted-by":"crossref","unstructured":"Koc, E., Ersoy, N., Andac, A., Camlidere, Z.S., Cereci, I., Kilic, H.: An empirical study about search-based refactoring using alternative multiple and population-based search techniques. Comput. Inf. Sci. II 59\u201366 (2011)","DOI":"10.1007\/978-1-4471-2155-8_7"},{"key":"215_CR129","doi-asserted-by":"crossref","unstructured":"Koc, E., Ersoy, N., Camlidere, Z.S., Kilic, H.: A web-service for automated software refactoring using artificial bee colony optimization. In: Proceedings of the 3rd Internatinal Conference on Advances in Swarm Intelligence (ICSI \u201912), pp. 318\u2013325. Springer, Shenzhen, China, 17\u201320 June (2012)","DOI":"10.1007\/978-3-642-30976-2_38"},{"key":"215_CR130","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Rose, L.M., Matragkas, N., Paige, R.F., Guerra, E., Cuadrado, J., De\u00a0Lara, J., R\u00e1th, I., Varr\u00f3, D., Tisi, M., Cabot, J.: A research roadmap towards achieving scalability in model driven engineering. In: Proceedings of the Workshop on Scalability in Model Driven Engineering, BigMDE \u201913, pp. 2:1\u20132:10. ACM, New York, NY, USA (2013)","DOI":"10.1145\/2487766.2487768"},{"issue":"8","key":"215_CR131","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B Korel","year":"1990","unstructured":"Korel, B.: Automated software test data generation. IEEE Trans. Softw. Eng. 16(8), 870\u2013879 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"215_CR132","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection (Complex Adaptive Systems)","author":"JR Koza","year":"1992","unstructured":"Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection (Complex Adaptive Systems), 1st edn. The MIT Press, Cambridge (1992)","edition":"1"},{"key":"215_CR133","unstructured":"Kruse, S.: Co-evolution of metamodels and model transformations: an operator-based, stepwise approach for the impact resolution of metamodel evolution on model transformations. Norderstedt : BoD\u2014Books on Demand. Online-Ausg.: Co-Evolution of Metamodels and Model Transformations (2015)"},{"key":"215_CR134","doi-asserted-by":"crossref","unstructured":"Kulkarni, P., Hines, S., Hiser, J., Whalley, D., Davidson, J., Jones, D.: Fast searches for effective optimization phase sequences. Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. PLDI \u201904, pp. 171\u2013182. ACM, New York, NY, USA (2004)","DOI":"10.1145\/996841.996863"},{"key":"215_CR135","unstructured":"K\u00fcster, J.M., Sendall, S., Wahler, M.: Comparing two model transformation approaches. In: UML 2004. Workshop: OCL and Model Driven Engineering (2004)"},{"issue":"1","key":"215_CR136","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/TSE.2011.104","volume":"38","author":"C Goues Le","year":"2012","unstructured":"Le Goues, C., Nguyen, T.V., Forrest, S., Weimer, W.: GenProg: A generic method for automatic software repair. IEEE Trans. Softw. Eng. 38(1), 54\u201372 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"215_CR137","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1002\/spe.1031","volume":"41","author":"S Lee","year":"2011","unstructured":"Lee, S., Bae, G., Chae, H.S., Bae, D.-H., Kwon, Y.R.: Automated scheduling for clone-based refactoring using a competent ga. Softw. Pract. Exp. 41(5), 521\u2013550 (2011)","journal-title":"Softw. Pract. Exp."},{"key":"215_CR138","doi-asserted-by":"crossref","unstructured":"Lefticaru, R., Ipate, F.: Functional search-based testing from state machines. In: 1st International Conference on Software Testing, Verification, and Validation, pp. 525\u2013528 (2008)","DOI":"10.1109\/ICST.2008.32"},{"key":"215_CR139","unstructured":"Li, H., Lam, C.P.: An ant colony optimization approach to test sequence generation for statebased software testing. In: Proceedings of the 5th International Conference on Quality Software (QSIC \u201905), pp. 255\u2013264, Melbourne, Australia, 19\u201320 September (2005a)"},{"key":"215_CR140","doi-asserted-by":"crossref","unstructured":"Li, H., Lam, C.P.: Using anti-ant-like agents to generate test threads from the UML diagrams. In: Proceedings of Testing of Communicating Systems, 17th IFIP TC6\/WG 6.1 International Conference (TestCom \u201905), pp. 69\u201380, Montreal, Canada, 31 May\u20132 June (2005b)","DOI":"10.1007\/11430230_6"},{"key":"215_CR141","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.infsof.2015.01.008","volume":"61","author":"RE Lopez-Herrejon","year":"2015","unstructured":"Lopez-Herrejon, R.E., Linsbauer, L., Egyed, A.: A systematic mapping study of search-based software engineering for software product lines. Inf. Softw. Technol. 61, 33\u201351 (2015)","journal-title":"Inf. Softw. Technol."},{"issue":"18","key":"215_CR142","doi-asserted-by":"crossref","first-page":"7267","DOI":"10.1016\/j.eswa.2013.07.033","volume":"40","author":"FD Mac\u00edas-Escriv\u00e1","year":"2013","unstructured":"Mac\u00edas-Escriv\u00e1, F.D., Haber, R., del Toro, R., Hernandez, V.: Self-adaptive systems: a survey of current approaches, research challenges and applications. Expert Syst. Appl. 40(18), 7267\u20137279 (2013)","journal-title":"Expert Syst. Appl."},{"key":"215_CR143","doi-asserted-by":"crossref","unstructured":"Mahouachi, R., Kessentini, M., Cinnide, M.: Search-based refactoring detection. In: Proceeding of The 15th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO \u201913), pp. 205\u2013206. ACM, Amsterdam, The Netherlands, 6\u201310 July (2013)","DOI":"10.1145\/2464576.2464680"},{"key":"215_CR144","doi-asserted-by":"crossref","unstructured":"Mancoridis, S., Mitchell, B.S., Chen, Y., Gansner, E.R.: Bunch: A clustering tool for the recovery and maintenance of software system structures. In: Proceedings of the IEEE International Conference on Software Maintenance (ICSM \u201999), pp. 50\u201359. IEEE, Oxford, England, UK, 30 August\u20133 September (1999)","DOI":"10.1109\/ICSM.1999.792498"},{"key":"215_CR145","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1016\/j.jss.2014.11.043","volume":"103","author":"U Mansoor","year":"2015","unstructured":"Mansoor, U., Kessentini, M., Langer, P., Wimmer, M., Bechikh, S., Deb, K.: Momm: Multi-objective model merging. J. Syst. Softw. 103, 423\u2013439 (2015)","journal-title":"J. Syst. Softw."},{"key":"215_CR146","unstructured":"Mansouri, S.A., Harman, M., Zhang, Y.: Search based software engineering: a comprehensive analysis and review of trends techniques and applications. Technical Report TR-09-03, Department of Computer Science, King\u2019s College London, (April 2009)"},{"key":"215_CR147","doi-asserted-by":"crossref","unstructured":"Martens, A., Koziolek, H., Becker, S., Reussner, R.: Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms. Proceedings of the First Joint WOSP\/SIPEW International Conference on Performance Engineering. WOSP\/SIPEW \u201910, pp. 105\u2013116. ACM, New York, NY, USA (2010)","DOI":"10.1145\/1712605.1712624"},{"key":"215_CR148","unstructured":"Martin, R.C.: Agile Software Development: Principles, Patterns, and Practices, Prentice Hall PTR, Upper Saddle River, NJ, USA (2003)"},{"key":"215_CR149","doi-asserted-by":"crossref","unstructured":"McKinley, P.K., Cheng, B.H.C., Ramirez, A.J., Jensen, A.C.: Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware. J. Internet Serv. Appl. 3(1), 51\u201358 (2012)","DOI":"10.1007\/s13174-011-0049-4"},{"issue":"2","key":"215_CR150","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: a survey. Softw. Test. Verif. Reliabil. 14(2), 105\u2013156 (2004)","journal-title":"Softw. Test. Verif. Reliabil."},{"key":"215_CR151","volume-title":"MDA Distilled Principles of Model-Driven Architecture","author":"SJ Mellor","year":"2004","unstructured":"Mellor, S.J., Scott, K., Uhl, A., Weise, D., Soley, R.M.: MDA Distilled Principles of Model-Driven Architecture, vol. 88. Addison-Wesley, Reading (2004)"},{"key":"215_CR152","unstructured":"Mendez, D., Etien, A., Muller, A., Casallas, R.: Towards transformation migration after metamodel evolution. In: Model and Evolution Workshop, Olso, Norway (2010)"},{"issue":"5","key":"215_CR153","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1109\/TSE.2002.1000449","volume":"28","author":"T Mens","year":"2002","unstructured":"Mens, T.: A state-of-the-art survey on software merging. IEEE Trans. Softw. Eng. 28(5), 449\u2013462 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"215_CR154","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T Mens","year":"2006","unstructured":"Mens, T., Van Gorp, P.: A taxonomy of model transformation. Electron. Notes Theor. Comput. Sci. 152, 125\u2013142 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"215_CR155","unstructured":"Mens, T., Taentzer, G.: Model-driven software refactoring. In: Dig, D. (ed.) WRT, pp. 25\u201327 (2007)"},{"key":"215_CR156","unstructured":"Mens, T., Taentzer, G., M\u00fcller, D.: Challenges in model refactoring. In: Proceedings of 1st Workshop on Refactoring Tools. University of Berlin, Berlin (2007)"},{"key":"215_CR157","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-3-642-45398-4_10","volume-title":"Evolving Software Systems","author":"T Mens","year":"2014","unstructured":"Mens, T., Claes, M., Grosjean, P., Serebrenik, A.: Studying evolving software ecosystems based on ecological models. In: Mens, T., Serebrenik, A., Cleve, A. (eds.) Evolving Software Systems, pp. 297\u2013326. Springer, Berlin (2014)"},{"issue":"4","key":"215_CR158","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. 37(4), 316\u2013344 (2005)","journal-title":"ACM Comput. Surv."},{"issue":"3","key":"215_CR159","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TSE.1976.233818","volume":"2","author":"W Miller","year":"1976","unstructured":"Miller, W., Spooner, D.L.: Automatic generation of floating-point test data. IEEE Trans. Softw. Eng. 2(3), 223\u2013226 (1976)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"215_CR160","doi-asserted-by":"crossref","unstructured":"Misbhauddin, M., Alshayeb, M.: UML model refactoring: a systematic literature review. Empir. Softw. Eng. 20(1), 206\u2013251 (2015)","DOI":"10.1007\/s10664-013-9283-7"},{"key":"215_CR161","doi-asserted-by":"crossref","unstructured":"Mkaouer, M.W., Kessentini, M., Bechikh, S., Tauritz, D.R.: Preference-based multi-objective software modelling. In: Paige et\u00a0al. (2013), pp. 61\u201366 (2013)","DOI":"10.1109\/CMSBSE.2013.6605712"},{"key":"215_CR162","doi-asserted-by":"crossref","unstructured":"Mkaouer, M.W., Kessentini, M., Bechikh, S., Cinnide, M.: A robust multi-objective approach for software refactoring under uncertainty. In: Proceedings of the 6th International Symposium on Search-Based Software Engineering (SSBSE \u201914), vol. 8636, pp. 168\u2013183. Springer, Fortaleza, Brazil, 26\u201329 August (2014a)","DOI":"10.1007\/978-3-319-09940-8_12"},{"key":"215_CR163","doi-asserted-by":"crossref","unstructured":"Mkaouer, M.W., Kessentini, M., Bechikh, S., Deb, K., Cinnide, M.: High dimensional search-based software engineering: Finding tradeoffs among 15 objectives for automating software refactoring using nsga-iii. In: Proceedings of the 2014 Conference on Genetic and Evolutionary Computation (GECCO \u201914), pp. 1263\u20131270. ACM, Vancouver, Canada, 12\u201316 July (2014b)","DOI":"10.1145\/2576768.2598366"},{"key":"215_CR164","doi-asserted-by":"crossref","unstructured":"Mkaouer, M., Kessentini, M., Bechikh, S., Cinnide, M., Deb, K.: On the use of many quality attributes for software refactoring: a many-objective search-based software engineering approach. Empir. Softw. Eng. 1\u201343 (2015)","DOI":"10.1007\/s10664-015-9414-4"},{"key":"215_CR165","unstructured":"Mladenovic, N.: A variable neighborhood algorithm\u2014a new metaheuristic for combinatorial optimization. In: Abstracts of papers presented at Optimization Days, p. 112, Montral, Canada, (1995)"},{"key":"215_CR166","doi-asserted-by":"crossref","first-page":"1097","DOI":"10.1016\/S0305-0548(97)00031-2","volume":"24","author":"N Mladenovic","year":"1997","unstructured":"Mladenovic, N., Hansen, P.: Variable neighborhood search. Comput. Oper. Res. 24, 1097\u20131100 (1997)","journal-title":"Comput. Oper. Res."},{"key":"215_CR167","doi-asserted-by":"crossref","unstructured":"Moghadam, I.H.: Multi-level automated refactoring using design exploration. In: Cohen, M.B., \u00d3 Cinn\u00e9ide M. (eds.) Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10\u201312, 2011, Proceedings, pp. 70\u201375. Springer Berlin Heidelberg (2011)","DOI":"10.1007\/978-3-642-23716-4_9"},{"key":"215_CR168","doi-asserted-by":"crossref","unstructured":"Moghadam, I.H., Cinn\u00e9ide, M.\u00d3: Code-imp: a tool for automated search-based refactoring. Proceedings of the 4th Workshop on Refactoring Tools. WRT \u201911, pp. 41\u201344. ACM, New York, NY, USA (2011)","DOI":"10.1145\/1984732.1984742"},{"key":"215_CR169","doi-asserted-by":"crossref","unstructured":"Moghadam, I.H., Cinnide, M.: Automated refactoring using design differencing. In: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR \u201912), pp. 43\u201352. IEEE, Szeged, Hungary, 27\u201330 March (2012)","DOI":"10.1109\/CSMR.2012.15"},{"issue":"12","key":"215_CR170","doi-asserted-by":"crossref","first-page":"1646","DOI":"10.1016\/j.infsof.2009.04.004","volume":"51","author":"P Mohagheghi","year":"2009","unstructured":"Mohagheghi, P., Dehlen, V., Neple, T.: Definitions and approaches to model quality in model-based software development\u2013a review of literature. Inf. Softw. Technol. 51(12), 1646\u20131669 (2009)","journal-title":"Inf. Softw. Technol."},{"issue":"3","key":"215_CR171","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/s10270-010-0172-x","volume":"11","author":"P-A Muller","year":"2012","unstructured":"Muller, P.-A., Fondement, F., Baudry, B., Combemale, B.: Modeling modeling modeling. Softw. Syst. Model. 11(3), 347\u2013359 (2012)","journal-title":"Softw. Syst. Model."},{"key":"215_CR172","doi-asserted-by":"crossref","unstructured":"Mussbacher, G., Amyot, D., Breu, R., Bruel, J.-M., Cheng, B.H.C., Collet, P., Combemale, B., France, R., Heldal, R., Hill, J., Kienzle, J., Sch\u00f6ttle, M., Steimann, F., Stikkolorum, D., Whittle, J.: The relevance of model-driven engineering thirty years from now. In: Dingel, J., Schulte, W., Ramos, I., Abraho, S., Insfran, E. (eds.) Model-Driven Engineering Languages and Systems. Lecture Notes in Computer Science, vol. 8767, pp. 183\u2013200. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-11653-2_12"},{"key":"215_CR173","unstructured":"Nam, D., Park, C.H.: Multiobjective simulated annealing: a comparative study to evolutionary algorithms. Int. J. Fuzzy Syst. 2(2), 87\u201397 (2000)"},{"key":"215_CR174","doi-asserted-by":"crossref","unstructured":"Neto, F.G.O, Feldt, R., Torkar, R., Machado, P.D.L.: Searching for models to evaluate software technology. In: 2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE), pp. 12\u201315 May (2013)","DOI":"10.1109\/CMSBSE.2013.6604430"},{"key":"215_CR175","doi-asserted-by":"crossref","unstructured":"Nisbet, A.: Gaps: A compiler framework for genetic algorithm (ga) optimised parallelisation. In: Sloot, P.M.A., Bubak, M., Hertzberger, L.O. (eds.) High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe, volume LNCS, vol. 1401, pp. 987\u2013989. Springer, Amsterdam, The Netherlands, 21\u201323 April (1998)","DOI":"10.1007\/BFb0037253"},{"issue":"2","key":"215_CR176","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1162\/106454604773563612","volume":"10","author":"C Ofria","year":"2004","unstructured":"Ofria, C., Wilke, C.O.: Avida: A software platform for research in computational evolutionary biology. Artif. Life 10(2), 191\u2013229 (2004)","journal-title":"Artif. Life"},{"issue":"5","key":"215_CR177","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1002\/smr.378","volume":"20","author":"M O\u2019Keeffe","year":"2008","unstructured":"O\u2019Keeffe, M., Cinn\u00e9ide, M.\u00d3.: Search-based refactoring: An empirical study. J. Softw. Maint. Evol. 20(5), 345\u2013364 (2008)","journal-title":"J. Softw. Maint. Evol."},{"key":"215_CR178","unstructured":"OMG: OMG Meta Object Facility (MOF) Core Specification, Version 2.4.1 (2013)"},{"key":"215_CR179","unstructured":"Opdyke, W.F.: Refactoring Object-oriented Frameworks. Ph.D. thesis, University of Illinois at Urbana-Champaign, Champaign, IL, USA (1992)"},{"key":"215_CR180","unstructured":"Otero, Fernando E.B., Johnson, Colin\u00a0G., Freitas, Alex\u00a0A., Thompson, Simon\u00a0J.: Refactoring in automatically generated programs. In: Proceedings of the 2nd International Symposium on Search Based Software Engineering (SSBSE \u201910). IEEEBenevento, Italy, 7\u20139 September (2010)"},{"key":"215_CR181","doi-asserted-by":"crossref","unstructured":"Ouni, A., Kessentini, M., Sahraoui, H.: Search-based refactoring using recorded code changes. In: Proceedings of the 17th European Conference on Software Maintenance and Reengineering (CSMR \u201913), pp. 221\u2013230. IEEE, Genova, Italy, 5\u20138 March (2013a)","DOI":"10.1109\/CSMR.2013.31"},{"key":"215_CR182","doi-asserted-by":"crossref","unstructured":"Ouni, A., Kessentini, M., Sahraoui, H., Hamdi, M.S.: The use of development history in software refactoring using a multi-objective evolutionary algorithm. In: Proceeding of The 15th Annual Conference on Genetic and Evolutionary Computation (GECCO \u201913), pp. 1461\u20131468. ACM, Amsterdam, The Netherlands, 6\u201310 July (2013b)","DOI":"10.1145\/2463372.2463554"},{"key":"215_CR183","doi-asserted-by":"crossref","unstructured":"Paige, R.F., Harman, M., Williams, J.R. (eds.): 1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013. IEEE, San Francisco, CA, USA, 20 May (2013)","DOI":"10.1109\/ICSE.2013.6606763"},{"issue":"3","key":"215_CR184","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/MCS.2002.1004010","volume":"22","author":"KM Passino","year":"2002","unstructured":"Passino, K.M.: Biomimicry of bacterial foraging for distributed optimization and control. IEEE Control Syst. Mag. 22(3), 52\u201367 (2002)","journal-title":"IEEE Control Syst. Mag."},{"key":"215_CR185","unstructured":"Poulding, S.: The Use of Automated Search in Deriving Software Testing Strategies. Ph.D. thesis, University of York (2013)"},{"issue":"1","key":"215_CR186","first-page":"19","volume":"1","author":"M Prasanna","year":"2009","unstructured":"Prasanna, M., Chandran, K.R.: Automatic test case generation for UML object diagrams using genetic algorithm. Int. J. Adv. Soft Comput. Appl. 1(1), 19\u201332 (2009)","journal-title":"Int. J. Adv. Soft Comput. Appl."},{"issue":"4","key":"215_CR187","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/j.cosrev.2010.06.001","volume":"4","author":"O R\u00e4ih\u00e4","year":"2010","unstructured":"R\u00e4ih\u00e4, O.: A survey on search-based software design. Comput. Sci. Rev. 4(4), 203\u2013249 (2010)","journal-title":"Comput. Sci. Rev."},{"key":"215_CR188","unstructured":"Ramirez, A.J., Cheng, B.H.C.: Evolving models at run time to address functional and non-functional adaptation requirements. In: Proceedings of the 4th International Workshop on Models at Runtime (2009)"},{"key":"215_CR189","doi-asserted-by":"crossref","unstructured":"Ramirez, A.J., Cheng, B.H.C.: Automatic derivation of utility functions for monitoring software requirements. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, vol. 6981, pp. 501\u2013516. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24485-8_37"},{"key":"215_CR190","doi-asserted-by":"crossref","unstructured":"Ramirez, A.J., Knoester, D.B., Cheng, B.H.C., McKinley, P.K.: Applying genetic algorithms to decision making in autonomic computing systems. Proceedings of the 6th International Conference on Autonomic Computing. ICAC \u201909, pp. 97\u2013106. ACM, New York, NY, USA (2009)","DOI":"10.1145\/1555228.1555258"},{"key":"215_CR191","volume-title":"Evolutionsstrategie: optimierung technischer systeme nach prinzipien der biologischen evolution","author":"I Rechenberg","year":"1973","unstructured":"Rechenberg, I.: Evolutionsstrategie: optimierung technischer systeme nach prinzipien der biologischen evolution. Frommann-Holzboog, Stuttgart (1973)"},{"key":"215_CR192","doi-asserted-by":"crossref","unstructured":"Rose, L.M., Poulding, S.: Efficient probabilistic testing of model transformations using search. In: 2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE), pp. 16\u201321 May (2013)","DOI":"10.1109\/CMSBSE.2013.6604431"},{"key":"215_CR193","unstructured":"Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.A.C.: An analysis of approaches to model migration. In: Proceedings of Models and Evolution (MoDSE-MCCM) Workshop, 12th ACM\/IEEE International Conference on Model Driven Engineering, Languages and Systems (2009)"},{"key":"215_CR194","unstructured":"Rose, L.M., Etien, A., Mendez, D., Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Comparing model-metamodel and transformation-metamodel co-evolution. In: Models and Evolution Workshop, co-located with the International Conference on Model Driven Engineering Languages and Systems (MoDELS) (2010)"},{"key":"215_CR195","volume-title":"Object-Oriented Modeling and Design","author":"J Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice-Hall Inc, Upper Saddle River (1991)"},{"key":"215_CR196","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4631-3","volume-title":"Automatic Re-Engineering of Software using Genetic Programming","author":"C Ryan","year":"2000","unstructured":"Ryan, C.: Automatic Re-Engineering of Software using Genetic Programming, vol. 2. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"215_CR197","doi-asserted-by":"crossref","unstructured":"Saada, H., Huchard, M., Nebut, C., Sahraoui, H.: Recovering model transformation traces using multi-objective optimization. In: IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE), pp. 688\u2013693 (2013)","DOI":"10.1109\/ASE.2013.6693134"},{"key":"215_CR198","unstructured":"Saada, H., Huchard, M., Nebut, C., Sahraoui, H.A.: Model matching for model transformation - a meta-heuristic approach. In: Ferreira Pires, L., Hammoudi, S., Filipe, J., das Neves, R.C. (eds.) MODELSWARD, pp. 174\u2013181. SciTePress, Set\u00fabal (2014)"},{"issue":"2","key":"215_CR199","first-page":"433","volume":"8","author":"S Sabharwal","year":"2011","unstructured":"Sabharwal, S., Sibal, R., Sharman, C.: Applying genetic algorithm for prioritization of test case scenarios derived from UML diagrams. Int. J. Comput. Sci. Issues 8(2), 433\u2013444 (2011)","journal-title":"Int. J. Comput. Sci. Issues"},{"issue":"11","key":"215_CR200","doi-asserted-by":"crossref","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":"215_CR201","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. Computer 39(2), 25\u201331 (2006)","journal-title":"Computer"},{"key":"215_CR202","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 5th International Symposium on Search Based Software Engineering (SSBSE \u201913), vol. 8084, pp. 209\u2013223. Springer, St. Petersburg, Russia, 24\u201326 August (2013)","DOI":"10.1007\/978-3-642-39742-4_16"},{"key":"215_CR203","first-page":"53","volume-title":"IC3 (1), volume 94 of Communications in Computer and Information Science","author":"M Shirole","year":"2010","unstructured":"Shirole, M., Kumar, R.: A hybrid genetic algorithm based test case generation using sequence diagrams. In: Ranka, S., Banerjee, A., Biswas, K.K., Dua, S., Mishra, P., Moona, R., Poon, S.-H., Wang, C.-L. (eds.) IC3 (1), volume 94 of Communications in Computer and Information Science, pp. 53\u201363. Springer, Berlin (2010)"},{"key":"215_CR204","doi-asserted-by":"crossref","unstructured":"Shirole, M., Suthar, A., Kumar, R.: Generation of improved test cases from UML state diagram using genetic algorithm. In: Bahulkar, Arun, Kesavasamy, K., Prabhakar, T.V., Shroff, Gautam (eds), ISEC, pp. 125\u2013134. ACM (2011)","DOI":"10.1145\/1953355.1953374"},{"key":"215_CR205","doi-asserted-by":"crossref","unstructured":"Shirole, M., Kommuri, M., Kumar, R.: Transition sequence exploration of UML activity diagram using evolutionary algorithm. Proceedings of the 5th India Software Engineering Conference. ISEC \u201912, pp. 97\u2013100. ACM, New York, NY, USA (2012)","DOI":"10.1145\/2134254.2134271"},{"key":"215_CR206","doi-asserted-by":"crossref","first-page":"702","DOI":"10.1109\/TEVC.2008.919004","volume":"12","author":"D Simon","year":"2008","unstructured":"Simon, D.: Biogeography-based optimization. IEEE Trans. Evol. Comput. 12, 702\u2013713 (2008)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"215_CR207","doi-asserted-by":"crossref","unstructured":"Simons, C.L.: Whither (away) software engineers in SBSE? In: 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE), pp. 49\u201350 (2013)","DOI":"10.1109\/CMSBSE.2013.6604437"},{"key":"215_CR208","doi-asserted-by":"crossref","unstructured":"Simons, C., Singer, J., White, D.R.: Search-based refactoring: metrics are not enough. In: Proceedings of the 7th International Symposium on Search-Based Software Engineering (SSBSE \u201915), pp. 47\u201361. Springer, Bergamo, Italy, 5\u20137 September (2015)","DOI":"10.1007\/978-3-319-22183-0_4"},{"key":"215_CR209","unstructured":"Sttzle, T.: Local Search Algorithms for Combinatorial Problems: Analysis, Improvements, and New Applications. Ph.D. thesis, Darmstadt University of Technology (1998)"},{"key":"215_CR210","first-page":"712","volume-title":"Model Driven Engineering Languages and Systems, volume 5795, chapter 58","author":"Y Sun","year":"2009","unstructured":"Sun, Y., White, J., Gray, J.: Model Transformation by Demonstration. In: Sch\u00fcrr, A., Selic, B. (eds.) Model Driven Engineering Languages and Systems, volume 5795, chapter 58, pp. 712\u2013726. Springer, Berlin (2009)"},{"issue":"4","key":"215_CR211","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1109\/2.585163","volume":"30","author":"J Sztipanovits","year":"1997","unstructured":"Sztipanovits, J., Karsai, G.: Model-integrated computing. Computer 30(4), 110\u2013111 (1997)","journal-title":"Computer"},{"issue":"1","key":"215_CR212","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s10270-012-0248-x","volume":"13","author":"G Taentzer","year":"2014","unstructured":"Taentzer, G., Ermel, C., Langer, P., Wimmer, M.: A fundamental approach to model versioning based on graph modifications: from theory to implementation. Softw. Syst. Model. 13(1), 239\u2013272 (2014)","journal-title":"Softw. Syst. Model."},{"key":"215_CR213","doi-asserted-by":"crossref","DOI":"10.1002\/9780470496916","volume-title":"Metaheuristics: From Design to Implementation","author":"E-G Talbi","year":"2009","unstructured":"Talbi, E.-G.: Metaheuristics: From Design to Implementation, 1st edn. Wiley, Hoboken (2009)","edition":"1"},{"issue":"4","key":"215_CR214","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"K Thomas","year":"2006","unstructured":"Thomas, K.: Matters of (meta-)modeling. Softw. Syst. Model. 5(4), 369\u2013385 (2006)","journal-title":"Softw. Syst. Model."},{"key":"215_CR215","unstructured":"Truyen, F.: The Fast Guide to Model Driven Architecture\u2014The basics of Model Driven Architecture (2006)"},{"key":"215_CR216","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco (2007)"},{"issue":"5","key":"215_CR217","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliabil. 22(5), 297\u2013312 (2012)","journal-title":"Softw. Test. Verif. Reliabil."},{"key":"215_CR218","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-3-642-01648-6_4","volume-title":"Models in Software Engineering","author":"R Straeten Van Der","year":"2009","unstructured":"Van Der Straeten, R., Mens, T., Van Baelen, S.: Challenges in model-driven software engineering. In: Chaudron, M.R.V. (ed.) Models in Software Engineering. Lecture Notes in Computer Science, vol. 5421, pp. 35\u201347. Springer, Berlin (2009)"},{"key":"215_CR219","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/11880240_29","volume-title":"MoDELS","author":"D Varr\u00f3","year":"2006","unstructured":"Varr\u00f3, D.: Model transformation by example. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS. Lecture Notes in Computer Science, vol. 4199, pp. 410\u2013424. Springer, Berlin (2006)"},{"key":"215_CR220","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Balogh, Z.: Automating model transformation by example using inductive logic programming. In: Cho, Y., Wainwright, R.L., Haddad, H., Shin, S.Y., Koo, Y.W. (eds.) Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), pp. 978\u2013984. ACM Press, Seoul, Korea, 11\u201315 March (2007)","DOI":"10.1145\/1244002.1244217"},{"key":"215_CR221","unstructured":"Voudouris, C.: Guided local search for combinatorial optimization problems. Ph.D. thesis, University of Essex (1997)"},{"key":"215_CR222","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1016\/S0377-2217(98)00099-X","volume":"113","author":"C Voudouris","year":"1999","unstructured":"Voudouris, C., Tsang, E.: Guided local search. Eur. J. Oper. Res. 113, 469\u2013499 (1999)","journal-title":"Eur. J. Oper. Res."},{"key":"215_CR223","doi-asserted-by":"crossref","unstructured":"Wang, W., Kessentini, M., Jiang, W.: Test cases generation for model transformations from structural information. In: Kessentini, M., Langer, P., Sahraoui, H.A. (eds.) MDEBE@MoDELS, volume 1104 of CEUR Workshop Proceedings, pp. 42\u201351. CEUR-WS.org (2013)","DOI":"10.1109\/CMSBSE.2013.6604438"},{"key":"215_CR224","doi-asserted-by":"crossref","unstructured":"White, D.: Cloud Computing and SBSE. In: Ruhe, G., Zhang, Y. (eds.) Search Based Software Engineering. Lecture Notes in Computer Science, vol. 8084, pp. 16\u201318. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-39742-4_3"},{"key":"215_CR225","unstructured":"Williams, K.P.: Evolutionary Algorithms for Automatic Parallelization. Ph.D. thesis, University of Reading, UK, Department of Computer Science (1998)"},{"key":"215_CR226","doi-asserted-by":"crossref","unstructured":"Williams, J.R., Paige, R.F., Polack, F.A.C.: Searching for model migration strategies. Proceedings of the 6th International Workshop on Models and Evolution. ME \u201912, pp. 39\u201344. ACM, New York, NY, USA (2012)","DOI":"10.1145\/2523599.2523607"},{"key":"215_CR227","unstructured":"Williams, J.R., Poulding, S.M., Paige, R.F., Polack, F.: Exploring the use of metaheuristic search to infer models of dynamic system behaviour. In: Bencomo, N., France, R.B., G\u00f6tz, S., Rumpe, B. (eds.) MoDELS@Run.time, volume 1079 of CEUR Workshop Proceedings, pp. 76\u201388. CEUR-WS.org (2013)"},{"key":"215_CR228","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Strommer, M., Kargl, H., Kramler, G.: Towards model transformation generation by-example. In: Proceedings of the 40th Annual Hawaii International Conference on System Sciences, HICSS \u201907, p. 285b. IEEE Computer Society, Washington, DC, USA (2007)","DOI":"10.1109\/HICSS.2007.572"},{"key":"215_CR229","doi-asserted-by":"crossref","unstructured":"Xu, D., Li, H., Lam, C.P.: Using adaptive agents to automatically generate test scenarios from the UML activity diagrams. In: Software Engineering Conference, 2005. APSEC \u201905. 12th Asia-Pacific, pages 8, pp.\u2013392. IEEE (005)","DOI":"10.1109\/APSEC.2005.110"},{"key":"215_CR230","doi-asserted-by":"crossref","unstructured":"Yano, T., Martins, E., De\u00a0Sousa, F.L.: Generating feasible test paths from an executable model using a multi-objective approach. In: Proceeding SBST-10: 3rd Interntional Workshop on Search- Based Software Testing, pp. 236\u2013239 (2010)","DOI":"10.1109\/ICSTW.2010.52"},{"key":"215_CR231","doi-asserted-by":"crossref","unstructured":"Yano, T., Martins, E., de\u00a0Sousa, F.L.: Most: a multi-objective search-based testing from efsm. In: IEEE International Conference on Software Testing Verification and Validation Workshop, pp. 164\u2013173. IEEE Computer Society, Los Alamitos, CA, USA (2011)","DOI":"10.1109\/ICSTW.2011.37"},{"key":"215_CR232","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Finkelstein, A., Harman, M.: Search based requirements optimisation: existing work and challenges. In: Proceedings of the 14th International Working Conference, Requirements Engineering: Foundation for Software Quality (RefsQ \u201908), pp. 88\u201394, Montpellier, France, 16\u201317 June (2008)","DOI":"10.1007\/978-3-540-69062-7_8"},{"key":"215_CR233","doi-asserted-by":"crossref","unstructured":"Zhang, J., Yang, R., Chen, Z., Zhao, Z., Xu, B.: Automated EFSM-based test case generation with scatter search. In 7th International Workshop on Automation of Software Test (AST), pp. 76\u201382 (2012)","DOI":"10.1109\/IWAST.2012.6228994"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-017-0215-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-017-0215-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-017-0215-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:15:55Z","timestamp":1750191355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-017-0215-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,1]]},"references-count":233,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["215"],"URL":"https:\/\/doi.org\/10.1007\/s10515-017-0215-4","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,1]]}}}