{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T07:17:16Z","timestamp":1779175036788,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,13]],"date-time":"2015-07-13T00:00:00Z","timestamp":1436745600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,7,13]]},"DOI":"10.1145\/2771783.2771796","type":"proceedings-article","created":{"date-parts":[[2015,7,10]],"date-time":"2015-07-10T14:10:55Z","timestamp":1436537455000},"page":"257-269","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":103,"title":["Automated software transplantation"],"prefix":"10.1145","author":[{"given":"Earl T.","family":"Barr","sequence":"first","affiliation":[{"name":"University College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Harman","sequence":"additional","affiliation":[{"name":"University College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yue","family":"Jia","sequence":"additional","affiliation":[{"name":"University College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandru","family":"Marginean","sequence":"additional","affiliation":[{"name":"University College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justyna","family":"Petke","sequence":"additional","affiliation":[{"name":"University College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2008.4630793"},{"key":"e_1_3_2_1_2_1","volume-title":"Inc.","author":"Barendregt H. P.","year":"1992","unstructured":"H. P. Barendregt . Handbook of logic in computer science (vol. 2). chapter Lambda Calculi with Types, pages 117\u2013 309. Oxford University Press , Inc. , New York, NY, USA , 1992 . H. P. Barendregt. Handbook of logic in computer science (vol. 2). chapter Lambda Calculi with Types, pages 117\u2013 309. Oxford University Press, Inc., New York, NY, USA, 1992."},{"key":"e_1_3_2_1_3_1","first-page":"518","volume-title":"IEEE\/ACM 15th Conference on Software Engineering (ICSE\u201993)","author":"Beck J.","year":"1993","unstructured":"J. Beck and D. Eichmann . Program and interface slicing for reverse engineering . In IEEE\/ACM 15th Conference on Software Engineering (ICSE\u201993) , pages 509\u2013 518 , Los Alamitos, California, USA , 1993 . IEEE Computer Society Press. J. Beck and D. Eichmann. Program and interface slicing for reverse engineering. In IEEE\/ACM 15th Conference on Software Engineering (ICSE\u201993), pages 509\u2013518, Los Alamitos, California, USA, 1993. IEEE Computer Society Press."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/533100"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70725"},{"key":"e_1_3_2_1_6_1","first-page":"20","volume-title":"IEEE International Conference on Software Maintenance","author":"Besz\u00e9des A.","year":"2002","unstructured":"A. Besz\u00e9des and T. Gyim\u00f3thy . Union slices for the approximation of the precise slice . In IEEE International Conference on Software Maintenance , pages 12\u2013 20 , Los Alamitos, California, USA , Oct. 2002 . IEEE Computer Society Press. A. Besz\u00e9des and T. Gyim\u00f3thy. Union slices for the approximation of the precise slice. In IEEE International Conference on Software Maintenance, pages 12\u201320, Los Alamitos, California, USA, Oct. 2002. IEEE Computer Society Press."},{"key":"e_1_3_2_1_7_1","first-page":"50","volume-title":"Advances in Computing","author":"Binkley D.","unstructured":"D. Binkley and K. B. Gallagher . Program slicing . In M. Zelkowitz, editor, Advances in Computing , Volume 43 , pages 1\u2013 50 . Academic Press, 1996. D. Binkley and K. B. Gallagher. Program slicing. In M. Zelkowitz, editor, Advances in Computing, Volume 43, pages 1\u201350. Academic Press, 1996."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635893"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)62003-6"},{"key":"e_1_3_2_1_11_1","volume-title":"Conditioned program slicing. Information and Software Technology Special Issue on Program Slicing, 40(11 and 12):595\u2013607","author":"Canfora G.","year":"1998","unstructured":"G. Canfora , A. Cimitile , and A. De Lucia . Conditioned program slicing. Information and Software Technology Special Issue on Program Slicing, 40(11 and 12):595\u2013607 , 1998 . G. Canfora, A. Cimitile, and A. De Lucia. Conditioned program slicing. Information and Software Technology Special Issue on Program Slicing, 40(11 and 12):595\u2013607, 1998."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/645543.655702"},{"key":"e_1_3_2_1_13_1","unstructured":"IEEE Computer Society Press.  IEEE Computer Society Press."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/580914.858213"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(98)10006-7"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.15"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/645542.658167"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.04.002"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1183929"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.556"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926423"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00873408"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00135-8"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/882506.885157"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/swf.41"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09940-8_20"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351678"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2013.6671274"},{"key":"e_1_3_2_1_30_1","first-page":"83","volume-title":"20th International Conference on Software Engineering (ICSE \u201998)","author":"Harrold M. J.","unstructured":"M. J. Harrold and N. Ci . Reuse-driven interprocedural slicing . In 20th International Conference on Software Engineering (ICSE \u201998) , pages 74\u2013 83 . IEEE Computer Society Press, Apr. 1998. M. J. Harrold and N. Ci. Reuse-driven interprocedural slicing. In 20th International Conference on Software Engineering (ICSE \u201998), pages 74\u201383. IEEE Computer Society Press, Apr. 1998."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/960116.53994"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568271"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1019480"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325713"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2003.1238034"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985404.1985410"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAICPART.2009.15"},{"key":"e_1_3_2_1_39_1","first-page":"8","volume-title":"IEEE Congress on Evolutionary Computation","author":"Langdon W. B.","unstructured":"W. B. Langdon and M. Harman . Evolving a CUDA kernel from an nVidia template . In IEEE Congress on Evolutionary Computation , pages 1\u2013 8 . IEEE, 2010. W. B. Langdon and M. Harman. Evolving a CUDA kernel from an nVidia template. In IEEE Congress on Evolutionary Computation, pages 1\u20138. IEEE, 2010."},{"key":"e_1_3_2_1_40_1","first-page":"2383","volume-title":"2010 IEEE World Congress on Computational Intelligence","author":"Langdon W. B.","year":"2010","unstructured":"W. B. Langdon and M. Harman . Evolving a CUDA kernel from an nVidia template. In P. Sobrevilla, editor , 2010 IEEE World Congress on Computational Intelligence , pages 2376\u2013 2383 , Barcelona , 18-23 July 2010 . W. B. Langdon and M. Harman. Evolving a CUDA kernel from an nVidia template. In P. Sobrevilla, editor, 2010 IEEE World Congress on Computational Intelligence, pages 2376\u20132383, Barcelona, 18-23 July 2010."},{"key":"e_1_3_2_1_41_1","unstructured":"IEEE.  IEEE."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44303-3_8"},{"key":"e_1_3_2_1_43_1","first-page":"118","article-title":"Optimising existing software with genetic programming","author":"Langdon W. B.","year":"2014","unstructured":"W. B. Langdon and M. Harman . Optimising existing software with genetic programming . IEEE Transactions on Evolutionary Computation (TEVC), pages 118 \u2013 135 , 2014 . W. B. Langdon and M. Harman. Optimising existing software with genetic programming. IEEE Transactions on Evolutionary Computation (TEVC), pages 118\u2013135, 2014.","journal-title":"IEEE Transactions on Evolutionary Computation (TEVC), pages"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2576768.2598244"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9208-0"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588543"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/362566.362568"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11416-012-0167-y"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2010.2052622"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44303-3_12"},{"key":"e_1_3_2_1_51_1","volume-title":"International Symposium on Software Testing and Analysis (ISSTA)","author":"Qi Z.","year":"2015","unstructured":"Z. Qi , F. Long , S. Achour , and M. Rinard . Efficient automatic patch generation and defect identification in kali . In International Symposium on Software Testing and Analysis (ISSTA) , July 2015 . To appear. Z. Qi, F. Long, S. Achour, and M. Rinard. Efficient automatic patch generation and defect identification in kali. In International Symposium on Software Testing and Analysis (ISSTA), July 2015. To appear."},{"key":"e_1_3_2_1_52_1","volume-title":"Palo Alto","author":"Ray B.","year":"2013","unstructured":"B. Ray , M. Kim , S. Person , and N. Rungta . Detecting and characterizing semantic inconsistencies in ported code. In Automated Software Engineering (ASE 2013)), pages 367\u2013377 , Palo Alto , California , 2013 . B. Ray, M. Kim, S. Person, and N. Rungta. Detecting and characterizing semantic inconsistencies in ported code. In Automated Software Engineering (ASE 2013)), pages 367\u2013377, Palo Alto, California, 2013."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737988"},{"key":"e_1_3_2_1_54_1","unstructured":"To appear.  To appear."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025133"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187671.2187674"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2070781.2024186"},{"key":"e_1_3_2_1_58_1","volume-title":"Denotational semantics: The Scott\u2013Strachey approach to programming language theory","author":"Stoy J. E.","year":"1985","unstructured":"J. E. Stoy . Denotational semantics: The Scott\u2013Strachey approach to programming language theory . MIT Press , 1985 . Third edition. J. E. Stoy. Denotational semantics: The Scott\u2013Strachey approach to programming language theory. MIT Press, 1985. Third edition."},{"issue":"3","key":"e_1_3_2_1_60_1","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"Tip F.","year":"1995","unstructured":"F. Tip . A survey of program slicing techniques . Journal of Programming Languages , 3 ( 3 ): 121 \u2013 189 , Sept. 1995 . F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121\u2013189, Sept. 1995.","journal-title":"Journal of Programming Languages"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/113446.113455"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491420"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2010.2083669"}],"event":{"name":"ISSTA '15: International Symposium on Software Testing and Analysis","location":"Baltimore MD USA","acronym":"ISSTA '15","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2771783.2771796","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2771783.2771796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:14Z","timestamp":1750230074000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2771783.2771796"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,13]]},"references-count":63,"alternative-id":["10.1145\/2771783.2771796","10.1145\/2771783"],"URL":"https:\/\/doi.org\/10.1145\/2771783.2771796","relation":{},"subject":[],"published":{"date-parts":[[2015,7,13]]},"assertion":[{"value":"2015-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}