{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:02:34Z","timestamp":1770285754961,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,5,14]],"date-time":"2017-05-14T00:00:00Z","timestamp":1494720000000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1525888"],"award-info":[{"award-number":["CNS-1525888"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,14]]},"DOI":"10.1145\/2884781.2884784","type":"proceedings-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T14:21:10Z","timestamp":1463149270000},"page":"911-922","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":36,"title":["DoubleTake"],"prefix":"10.1145","author":[{"given":"Tongping","family":"Liu","sequence":"first","affiliation":[{"name":"University of Texas, at San Antonio, San Antonio, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charlie","family":"Curtsinger","sequence":"additional","affiliation":[{"name":"Grinnell College, Grinnell, IA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emery D.","family":"Berger","sequence":"additional","affiliation":[{"name":"University of Massachusetts, Amherst, Amherst, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855768.1855772"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629594"},{"key":"e_1_3_2_1_3_1","unstructured":"H. Ayguen and M. Eddington. DUMA - Detect Unintended Memory Access. http:\/\/duma.sourceforge.net\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378821"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168866"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224058"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/776261.776290"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2190025.2190067"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336769"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1404014.1404015"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1267549.1267554"},{"key":"e_1_3_2_1_12_1","volume-title":"Mudflap: pointer use checking for C\/C++","author":"Eigler Ch.","year":"2003","unstructured":"Frank Ch. Eigler. Mudflap: pointer use checking for C\/C++. Red Hat Inc., 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259034"},{"key":"e_1_3_2_1_14_1","volume-title":"In Proc. of the","author":"Hastings R.","year":"1992","unstructured":"R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In In Proc. of the Winter 1992 USENIX Conference, pages 125--138, 1991."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1024393.1024412"},{"key":"e_1_3_2_1_16_1","unstructured":"T. Hoger. \"vim: heap buffer overflow\". https:\/\/bugzilla.redhat.com\/show_bug.cgi?id=455455."},{"key":"e_1_3_2_1_17_1","unstructured":"Information Technology Laboratory Software and Systems Division. Nist samate reference dataset project. http:\/\/samate.nist.gov\/SRD\/ 2013."},{"key":"e_1_3_2_1_18_1","volume-title":"Intel inspector xe","author":"Intel Corporation","year":"2013","unstructured":"Intel Corporation. Intel inspector xe 2013. http:\/\/software.intel.com\/en-us\/intel-inspector-xe, 2012."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1247360.1247361"},{"key":"e_1_3_2_1_20_1","unstructured":"L. Kundrak. Buffer overflow in bzip2's bzip2recover. https:\/\/bugzilla.redhat.com\/show_bug.cgi?id=226979."},{"key":"e_1_3_2_1_21_1","unstructured":"D. Lea. The GNU C library. http:\/\/www.gnu.org\/software\/libc\/libc.html."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736031"},{"key":"e_1_3_2_1_23_1","volume-title":"In Workshop on the Evaluation of Software Defect Detection Tools","author":"Lu S.","year":"2005","unstructured":"S. Lu, Z. Li, F. Qin, L. Tan, P. Zhou, and Y. Zhou. Bugbench: Benchmarks for evaluating bug detection tools. In In Workshop on the Evaluation of Software Defect Detection Tools, 2005."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_25_1","unstructured":"Mac OS X Develper Library. Enabling the malloc debugging features. https:\/\/developer.apple.com\/library\/mac\/#documentation\/performance\/Conceptual\/ManagingMemory\/Articles\/MallocDebug.html."},{"key":"e_1_3_2_1_26_1","unstructured":"Microfocus. Micro focus devpartner boundschecker. http:\/\/www.microfocus.com\/store\/devpartner\/boundschecker.aspx 2011."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346321"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250736"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542521"},{"key":"e_1_3_2_1_32_1","unstructured":"Oracle Corporation. Sun memory error discovery tool (discover). http:\/\/docs.oracle.com\/cd\/E18659_01\/html\/821-1784\/gentextid-302.html."},{"key":"e_1_3_2_1_33_1","volume-title":"Runtime Analysis and Memory Error Detection for C and C++","year":"2013","unstructured":"parasoft Company. Runtime Analysis and Memory Error Detection for C and C++, 2013."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"e_1_3_2_1_35_1","unstructured":"B. Perens. Electric Fence. http:\/\/perens.com\/FreeSoftware\/ElectricFence\/."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095833"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/2342821.2342849"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/1247415.1247418"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294275"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950370"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/645648.664824"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993541"}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","location":"Austin Texas","acronym":"ICSE '16","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\TCSE TC on Software Engineering","IEEE-CS\\DATC IEEE Computer Society"]},"container-title":["Proceedings of the 38th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2884781.2884784","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2884781.2884784","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2884781.2884784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:22:16Z","timestamp":1763457736000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2884781.2884784"}},"subtitle":["fast and precise error detection via evidence-based dynamic analysis"],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":43,"alternative-id":["10.1145\/2884781.2884784","10.1145\/2884781"],"URL":"https:\/\/doi.org\/10.1145\/2884781.2884784","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}