{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:28:05Z","timestamp":1730294885939,"version":"3.28.0"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"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":[[2019,9]]},"DOI":"10.1109\/scam.2019.00030","type":"proceedings-article","created":{"date-parts":[[2019,12,13]],"date-time":"2019-12-13T01:49:22Z","timestamp":1576201762000},"page":"193-203","source":"Crossref","is-referenced-by-count":1,"title":["On the Efficacy of Dynamic Behavior Comparison for Judging Functional Equivalence"],"prefix":"10.1109","author":[{"given":"Marcus","family":"Kessel","sequence":"first","affiliation":[]},{"given":"Colin","family":"Atkinson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2983934"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529384"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2685612"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1017\/9781316771273"},{"journal-title":"J Unit","year":"0","key":"ref31"},{"journal-title":"Apache Solr","year":"0","key":"ref30"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070525"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.02.007"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1561\/1500000019"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2699688"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2581377"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143152"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/152388.152392"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2017.21"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"journal-title":"The Groovy Language","year":"0","key":"ref15"},{"journal-title":"Gradle Build Tool","year":"0","key":"ref16"},{"journal-title":"Semantic Component Retrieval in Software Engineering","year":"2008","author":"hummel","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2016.31"},{"journal-title":"The R Project for Statistical Computing","year":"0","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227163"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.60"},{"key":"ref27","first-page":"299","article-title":"Chal-lenges of the dynamic detection of functionally similar code fragments","author":"deissenboeck","year":"0","journal-title":"2012 16th European Conference on Software Maintenance and Reengineering"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MIS.2014.3","article-title":"Reasoning and verification: State of the art and current trends","volume":"29","author":"beckert","year":"2014","journal-title":"IEEE Intelligent Systems"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568287"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070525"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321726"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45135-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.110"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-6596-6_1"},{"journal-title":"The maven central","year":"0","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2013.6624031"},{"journal-title":"Maven","year":"0","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.04.008"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-016-9685-3"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809071"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2017.16.4.a1"}],"event":{"name":"2019 IEEE 19th International Working Conference on Source Code Analysis and Manipulation (SCAM)","start":{"date-parts":[[2019,9,30]]},"location":"Cleveland, OH, USA","end":{"date-parts":[[2019,10,1]]}},"container-title":["2019 19th International Working Conference on Source Code Analysis and Manipulation (SCAM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8913408\/8930833\/08930875.pdf?arnumber=8930875","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T14:49:12Z","timestamp":1658155752000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8930875\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/scam.2019.00030","relation":{},"subject":[],"published":{"date-parts":[[2019,9]]}}}