{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T12:16:40Z","timestamp":1785241000004,"version":"3.55.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,2]]},"DOI":"10.1109\/iwsc50091.2020.9047638","type":"proceedings-article","created":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T08:47:26Z","timestamp":1585298846000},"page":"1-7","source":"Crossref","is-referenced-by-count":5,"title":["Twin-Finder: Integrated Reasoning Engine for Pointer-Related Code Clone Detection"],"prefix":"10.1109","author":[{"given":"Hongfa","family":"Xue","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yongsheng","family":"Mei","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kailash","family":"Gogineni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guru","family":"Venkataramani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tian","family":"Lan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","year":"0","journal-title":"Twibright Labs"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970326"},{"key":"ref12","author":"xue","year":"2020","journal-title":"Learn2reason Joint statistical and formal learning approach to improve the robustness and time-to-solution for software security"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-37231-6_17"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3278518"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-58469-0_28"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2917668"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3211346.3211347"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3273045.3273047"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2017.57"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/997817.997857"},{"key":"ref3","first-page":"209","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9076-6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.30"},{"key":"ref8","first-page":"40","article-title":"Using slicing to identify duplication in source code","author":"komondoor","year":"0","journal-title":"The 4th International Symposium on Static Analysis"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985835"},{"key":"ref2","year":"0","journal-title":"ACME Lab"},{"key":"ref1","year":"2006","journal-title":"SPEC CPU 2006"},{"key":"ref9","article-title":"Bugbench: Benchmarks for evaluating bug detection tools","volume":"5","author":"lu","year":"0","journal-title":"Workshop on the Evaluation of Software Defect Detection Tools"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491456"}],"event":{"name":"2020 IEEE 14th International Workshop on Software Clones (IWSC)","location":"London, ON, Canada","start":{"date-parts":[[2020,2,18]]},"end":{"date-parts":[[2020,2,18]]}},"container-title":["2020 IEEE 14th International Workshop on Software Clones (IWSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9040228\/9047628\/09047638.pdf?arnumber=9047638","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:55:29Z","timestamp":1656453329000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9047638\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iwsc50091.2020.9047638","relation":{},"subject":[],"published":{"date-parts":[[2020,2]]}}}