{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:18:07Z","timestamp":1725866287123},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471051"},{"type":"electronic","value":"9783319471068"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47106-8_13","type":"book-chapter","created":{"date-parts":[[2016,9,23]],"date-time":"2016-09-23T11:53:34Z","timestamp":1474631614000},"page":"192-208","source":"Crossref","is-referenced-by-count":1,"title":["Search-Based Generalization and Refinement of Code Templates"],"prefix":"10.1007","author":[{"given":"Tim","family":"Molderez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Coen","family":"De Roover","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,24]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Ackling, T., Alexander, B., Grunert, I.: Evolving patches for software repair. In: Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation, GECCO 2011, pp. 1427\u20131434. ACM (2011)","key":"13_CR1","DOI":"10.1145\/2001576.2001768"},{"doi-asserted-by":"crossref","unstructured":"Arcuri, A., Briand, L.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: 33rd International Conference on Software Engineering (ICSE), pp. 1\u201310 (2011)","key":"13_CR2","DOI":"10.1145\/1985793.1985795"},{"doi-asserted-by":"crossref","unstructured":"Brunel, J., Doligez, D., Hansen, R.R., Lawall, J.L., Muller, G.: A foundation for flow-based program matching: Using temporal logic and model checking. In Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, pp. 114\u2013126 (2009)","key":"13_CR3","DOI":"10.1145\/1594834.1480897"},{"issue":"3","key":"13_CR4","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/j.scico.2006.04.002","volume":"61","author":"JR Cordy","year":"2006","unstructured":"Cordy, J.R.: The TXL source transformation language. Sci. Comput. Program. 61(3), 190\u2013210 (2006)","journal-title":"Sci. Comput. Program."},{"doi-asserted-by":"crossref","unstructured":"De Roover, C., Inoue, K.: The Ekeko\/X program transformation tool. In: 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation (SCAM), pp. 53\u201358, September 2014","key":"13_CR5","DOI":"10.1109\/SCAM.2014.32"},{"doi-asserted-by":"crossref","unstructured":"De Roover, C., Noguera, C., Kellens, A., Jonckers, V.: The soul tool suite for querying programs in symbiosis with eclipse. In: Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, pp. 71\u201380. ACM (2011)","key":"13_CR6","DOI":"10.1145\/2093157.2093168"},{"unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software, vol. 49(120), p. 11. Addison-Wesley, Reading (1995)","key":"13_CR7"},{"unstructured":"Gu\u00e9h\u00e9neuc, Y.-G.: P-mart: pattern-like micro architecture repository. In: Proceedings of the 1st EuroPLoP Focus Group on Pattern Repositories (2007)","key":"13_CR8"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/11785477_2","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"E Hajiyev","year":"2006","unstructured":"Hajiyev, E., Verbaere, M., de Moor, O.: codeQuest: scalable source code queries with datalog. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 2\u201327. Springer, Heidelberg (2006)"},{"issue":"1","key":"13_CR10","doi-asserted-by":"crossref","first-page":"11:1","DOI":"10.1145\/2379776.2379787","volume":"45","author":"M Harman","year":"2012","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 (2012)","journal-title":"ACM Comput. Surv."},{"doi-asserted-by":"crossref","unstructured":"Janzen, D., De Volder, K.: Navigating and querying code without getting lost. In: Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, pp. 178\u2013187. ACM (2003)","key":"13_CR11","DOI":"10.1145\/643603.643622"},{"doi-asserted-by":"crossref","unstructured":"Kniesel, G., Hannemann, J., Rho, T.: A comparison of logic-based infrastructures for concern detection and extraction. In: Proceedings of the 3rd Workshop on Linking Aspect Technology And Evolution (LATE 2007). ACM (2007)","key":"13_CR12","DOI":"10.1145\/1275672.1275678"},{"issue":"1","key":"13_CR13","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., 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."},{"unstructured":"Luke, S.: Essentials of Metaheuristics. Lulu, 2nd edn. (2013). http:\/\/cs.gmu.edu\/~sean\/book\/metaheuristics\/","key":"13_CR14"},{"doi-asserted-by":"crossref","unstructured":"Martin, M., Livshits, B., Lam, M.S.: Finding application errors, security flaws using PQL: a program query language. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, pp. 365\u2013383 (2005)","key":"13_CR15","DOI":"10.1145\/1094811.1094840"},{"doi-asserted-by":"crossref","unstructured":"Meng, N., Kim, M., McKinley, K.S.: LASE: locating and applying systematic edits by learning from examples. In: Proceedings of the International Conference on Software Engineering, pp. 502\u2013511. IEEE Press (2013)","key":"13_CR16","DOI":"10.1109\/ICSE.2013.6606596"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/978-3-540-25935-0_13","volume-title":"Domain-Specific Program Generation","author":"E Visser","year":"2004","unstructured":"Visser, E.: Program transformation with Stratego\/XT. In: Lengauer, C., Batory, D., Blum, A., Odersky, M. (eds.) Domain-Specific Program Generation. LNCS, vol. 3016, pp. 216\u2013238. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Weimer, W., Nguyen, T., Le Goues, C., Forrest, S.: Automatically finding patches using genetic programming. In: Proceedings of the 31st International Conference on Software Engineering, pp. 364\u2013374. IEEE CS (2009)","key":"13_CR18","DOI":"10.1109\/ICSE.2009.5070536"}],"container-title":["Lecture Notes in Computer Science","Search Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47106-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T23:17:29Z","timestamp":1568416649000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47106-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471051","9783319471068"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47106-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}