{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:53:27Z","timestamp":1760586807887,"version":"3.37.3"},"reference-count":74,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1320605","CNS-1223710"],"award-info":[{"award-number":["CCF-1320605","CNS-1223710"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-13-1-0175","N00014-16-1-2265"],"award-info":[{"award-number":["N00014-13-1-0175","N00014-16-1-2265"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000183","name":"ARO","doi-asserted-by":"publisher","award":["W911NF-09-1-0525","W911NF-13-1-0421"],"award-info":[{"award-number":["W911NF-09-1-0525","W911NF-13-1-0421"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1422594","CNS-1505664"],"award-info":[{"award-number":["CNS-1422594","CNS-1505664"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/tr.2016.2570554","type":"journal-article","created":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T21:20:31Z","timestamp":1465852831000},"page":"1647-1664","source":"Crossref","is-referenced-by-count":25,"title":["Deviation-Based Obfuscation-Resilient Program Equivalence Checking With Application to Software Plagiarism Detection"],"prefix":"10.1109","volume":"65","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9682-0502","authenticated-orcid":false,"given":"Jiang","family":"Ming","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fangfang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dinghao","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sencun","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28166-2_11"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23644-0_3"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813663"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.47"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/2597008.2597143"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/SERE.2014.21"},{"key":"ref38","first-page":"117","article-title":"Detecting code clones in binary executables","author":"s\u00e6bjf?rnsen","year":"0","journal-title":"Proc of the 18th Int'l Symp on Software Testing and Analysis"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1019480"},{"key":"ref32","first-page":"96","article-title":"Deckard: Scalable and accurate tree-based\n detection of code clones","author":"jiang","year":"0","journal-title":"Proc 29th Int'l Conf Software Eng"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1998.738528"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.1995.514697"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2001.957835"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368132"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47764-0_3"},{"key":"ref34","first-page":"1016","article-title":"Finding\n plagiarisms among a set of programs with JPlag","volume":"8","author":"prechelt","year":"2002","journal-title":"J Universal Comput Sci"},{"year":"2016","key":"ref60"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2007.17"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2522968.2522972"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653696"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/1314389.1314399"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2009.24"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87403-4_6"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.27"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2454508"},{"year":"2016","key":"ref67"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"year":"2016","key":"ref69"},{"year":"2014","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2133601.2133640"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33167-1_3"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38908-5_13"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37300-8_4"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2016.56"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2627393.2627395"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSC.2007.15"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2418777"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211622"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_52"},{"key":"ref57","first-page":"209","article-title":"KLEE:\n Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"0","journal-title":"Proc USENIX Operating Systems Design and Implementation"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"ref53","first-page":"151","article-title":"Automated\n whitebox fuzz testing","author":"godefroid","year":"0","journal-title":"Proc Symp Network and Distributed System Security"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30144-8_34"},{"key":"ref11","article-title":"Dynamic software birthmarks to detect the theft of\n windows applications","author":"tamada","year":"0","journal-title":"Proc Int l Symp Future Software Technology"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1994.336770"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321672"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336767"},{"journal-title":"A Discipline of Programming","year":"1976","author":"dijkstra","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89862-7_1"},{"year":"2016","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.18"},{"year":"2016","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SPRO.2015.10"},{"key":"ref3","first-page":"140","article-title":"Loco:\n An interactive code (de)obfuscation tool","author":"madou","year":"0","journal-title":"Proc ACM SIGPLAN Workshop Partial Eval Program Manipulation"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1150402.1150522"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985899"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210706"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/872757.872770"},{"key":"ref49","article-title":"Towards automatic discovery of deviations in binary\n implementations with applications to error detection and fingerprint generation","author":"brumley","year":"0","journal-title":"Proc 16th USENIX Security Symp"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1066677.1066753"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2430553.2430558"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37682-5_8"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635900"},{"key":"ref47","first-page":"492","article-title":"Exposé: Discovering potential binary code re-use","author":"ng","year":"0","journal-title":"Proc IEEE 37th Annu Comput Softw Appl Conf"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453131"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_54"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88625-9_16"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_55"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/7762242\/07490384.pdf?arnumber=7490384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:21:10Z","timestamp":1642004470000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7490384\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":74,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tr.2016.2570554","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"type":"print","value":"0018-9529"},{"type":"electronic","value":"1558-1721"}],"subject":[],"published":{"date-parts":[[2016,12]]}}}