{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T04:02:33Z","timestamp":1783396953502,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,19]],"date-time":"2009-07-19T00:00:00Z","timestamp":1247961600000},"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":[[2009,7,19]]},"DOI":"10.1145\/1572272.1572283","type":"proceedings-article","created":{"date-parts":[[2009,7,28]],"date-time":"2009-07-28T12:45:28Z","timestamp":1248785128000},"page":"81-92","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":121,"title":["Automatic mining of functionally equivalent code fragments via random testing"],"prefix":"10.1145","author":[{"given":"Lingxiao","family":"Jiang","sequence":"first","affiliation":[{"name":"University of California, Davis, Davis, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhendong","family":"Su","sequence":"additional","affiliation":[{"name":"University of California, Davis, Davis, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,7,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/832303.836911"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539793246707"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158694"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999466"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/850947.853341"},{"key":"e_1_3_2_1_6_1","volume-title":"Software Testing Techniques","author":"Beizer B.","year":"1990","unstructured":"B. Beizer . Software Testing Techniques . The Coriolis Group , 2 nd edition, 1990 . B. Beizer. Software Testing Techniques. The Coriolis Group, 2nd edition, 1990.","edition":"2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.01.038"},{"key":"e_1_3_2_1_8_1","first-page":"229","volume-title":"Automatic generation of random self-checking test cases","author":"Bird D. L.","year":"1983","unstructured":"D. L. Bird and C. U. Munoz . Automatic generation of random self-checking test cases . volume 22 , pages 229 -- 245 , Riverton, NJ , USA, 1983 . IBM Corp . D. L. Bird and C. U. Munoz. Automatic generation of random self-checking test cases. volume 22, pages 229--245, Riverton, NJ, USA, 1983. IBM Corp."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292569"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09526-8_20"},{"key":"e_1_3_2_1_11_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BFb0022267","volume-title":"Computer Science Logic (CSL): 8th workshop","author":"Crole R. L.","year":"1995","unstructured":"R. L. Crole and A. D. Gordon . A sound metalogical semantics for input\/output effects . In Computer Science Logic (CSL): 8th workshop , volume 933 of LNCS , pages 339 -- 353 , 1995 . R. L. Crole and A. D. Gordon. A sound metalogical semantics for input\/output effects. In Computer Science Logic (CSL): 8th workshop, volume 933 of LNCS, pages 339--353, 1995."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250784"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368132"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_25"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1093\/ietisy\/e91-d.9.2323"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.30"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287634"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1019480"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081737"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/647170.718283"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/265619.265626"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/832308.837142"},{"key":"e_1_3_2_1_25_1","first-page":"289","volume-title":"OSDI","author":"Li Z.","year":"2004","unstructured":"Z. Li , S. Lu , S. Myagmar , and Y. Zhou . CP-Miner: A tool for finding copy-paste and related bugs in operating system code . In OSDI , pages 289 -- 302 , 2004 . Z. Li, S. Lu, S. Myagmar, and Y. Zhou. CP-Miner: A tool for finding copy-paste and related bugs in operating system code. In OSDI, pages 289--302, 2004."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/645544.655888"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727796"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/555142"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226317"},{"key":"e_1_3_2_1_30_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1007\/3-540-45699-6_8","volume-title":"Applied Semantics, Advanced Lectures","author":"Pitts A. M.","year":"2002","unstructured":"A. M. Pitts . Operational semantics and program equivalence . In Applied Semantics, Advanced Lectures , volume 2395 of LNCS , Tutorial, pages 378 -- 412 . Springer-Verlag , 2002 . A. M. Pitts. Operational semantics and program equivalence. In Applied Semantics, Advanced Lectures, volume 2395 of LNCS, Tutorial, pages 378--412. Springer-Verlag, 2002."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/322217.322229"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321672"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/322217.322225"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2004.5"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273489"},{"key":"e_1_3_2_1_37_1","volume-title":"To the functional equivalence of turing machines. FCT: Fundamentals (or Foundations) of Computation Theory, 6","author":"Zakharov V. A.","year":"1987","unstructured":"V. A. Zakharov . To the functional equivalence of turing machines. FCT: Fundamentals (or Foundations) of Computation Theory, 6 , 1987 . V. A. Zakharov. To the functional equivalence of turing machines. FCT: Fundamentals (or Foundations) of Computation Theory, 6, 1987."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/IIH-MSP.2008.145"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(89)90143-9"}],"event":{"name":"ISSTA '09: International Symposium on Software Testing and Analysis","location":"Chicago IL USA","acronym":"ISSTA '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the eighteenth international symposium on Software testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1572272.1572283","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1572272.1572283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:29Z","timestamp":1750249409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1572272.1572283"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,19]]},"references-count":39,"alternative-id":["10.1145\/1572272.1572283","10.1145\/1572272"],"URL":"https:\/\/doi.org\/10.1145\/1572272.1572283","relation":{},"subject":[],"published":{"date-parts":[[2009,7,19]]},"assertion":[{"value":"2009-07-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}