{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:13:19Z","timestamp":1775873599011,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T00:00:00Z","timestamp":1629244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-2107261"],"award-info":[{"award-number":["CCF-2107261"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Institution for Information and Communications Technology Promotion","award":["2021-0-00758"],"award-info":[{"award-number":["2021-0-00758"]}]},{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","award":["2021R1C1C1003876, 2021R1A5A1021944"],"award-info":[{"award-number":["2021R1C1C1003876, 2021R1A5A1021944"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,20]]},"DOI":"10.1145\/3468264.3468626","type":"proceedings-article","created":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T01:40:37Z","timestamp":1629337237000},"page":"1154-1165","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Boosting static analysis accuracy with instrumented test executions"],"prefix":"10.1145","author":[{"given":"Tianyi","family":"Chen","sequence":"first","affiliation":[{"name":"University of Southern California, USA"}]},{"given":"Kihong","family":"Heo","sequence":"additional","affiliation":[{"name":"KAIST, South Korea"}]},{"given":"Mukund","family":"Raghothaman","sequence":"additional","affiliation":[{"name":"University of Southern California, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,8,18]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.01.018"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455778"},{"key":"e_1_3_2_2_4_1","unstructured":"Paul Eggert. 2010. sort: fix very-unlikely buffer overrun when merging to input file. http:\/\/git.savannah.gnu.org\/cgit\/coreutils.git\/commit\/?id=14ad7a25505ec3127cd1f07001d54d94f51f1748  Paul Eggert. 2010. sort: fix very-unlikely buffer overrun when merging to input file. http:\/\/git.savannah.gnu.org\/cgit\/coreutils.git\/commit\/?id=14ad7a25505ec3127cd1f07001d54d94f51f1748"},{"key":"e_1_3_2_2_5_1","unstructured":"Dan Ellis. 2003. Sound Examples. https:\/\/www.ee.columbia.edu\/~dpwe\/sounds\/  Dan Ellis. 2003. Sound Examples. https:\/\/www.ee.columbia.edu\/~dpwe\/sounds\/"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302467"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806672.1806674"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.54"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314616"},{"key":"e_1_3_2_2_10_1","volume-title":"Static Analysis","author":"Jensen Simon Holm","unstructured":"Simon Holm Jensen , Anders M\u00f8ller , and Peter Thiemann . 2009. Type Analysis for JavaScript . In Static Analysis . Springer , 238\u2013255. Simon Holm Jensen, Anders M\u00f8ller, and Peter Thiemann. 2009. Type Analysis for JavaScript. In Static Analysis. Springer, 238\u2013255."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3095021"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336789"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786851"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695887"},{"key":"e_1_3_2_2_15_1","article-title":"libDAI: A free and open source C++ library for discrete approximate inference in graphical models","volume":"11","author":"Mooij Joris","year":"2010","unstructured":"Joris Mooij . 2010 . libDAI: A free and open source C++ library for discrete approximate inference in graphical models . Journal of Machine Learning Research , 11 (2010), Aug, 2169\u20132173. Joris Mooij. 2010. libDAI: A free and open source C++ library for discrete approximate inference in graphical models. Journal of Machine Learning Research, 11 (2010), Aug, 2169\u20132173.","journal-title":"Journal of Machine Learning Research"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103701"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254092"},{"key":"e_1_3_2_2_21_1","unstructured":"Hakjoo Oh Kihong Heo Wonchan Lee and Kwangkeun Yi. 2012. The Sparrow Static Analyzer. https:\/\/github.com\/ropas\/sparrow  Hakjoo Oh Kihong Heo Wonchan Lee and Kwangkeun Yi. 2012. The Sparrow Static Analyzer. https:\/\/github.com\/ropas\/sparrow"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"crossref","unstructured":"Judea Pearl. 1988. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann.  Judea Pearl. 1988. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann.","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"key":"e_1_3_2_2_23_1","unstructured":"Matt Powell. 2001. The Canterbury Corpus. https:\/\/corpus.canterbury.ac.nz\/index.html  Matt Powell. 2001. The Canterbury Corpus. https:\/\/corpus.canterbury.ac.nz\/index.html"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192417"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA482657"},{"key":"e_1_3_2_2_26_1","volume-title":"Proceedings of the 2012 USENIX Conference on Annual Technical Conference (USENIX ATC). USENIX Association.","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany , Derek Bruening , Alexander Potapenko , and Dmitry Vyukov . 2012 . AddressSanitizer: A Fast Address Sanity Checker . In Proceedings of the 2012 USENIX Conference on Annual Technical Conference (USENIX ATC). USENIX Association. Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitry Vyukov. 2012. AddressSanitizer: A Fast Address Sanity Checker. In Proceedings of the 2012 USENIX Conference on Annual Technical Conference (USENIX ATC). USENIX Association."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192418"},{"key":"e_1_3_2_2_29_1","volume-title":"Siek and Walid Taha","author":"Jeremy","year":"2006","unstructured":"Jeremy G. Siek and Walid Taha . 2006 . Gradual Typing for Functional Languages. In IN SCHEME AND FUNCTIONAL PROGRAMMING WORKSHOP. 81\u201392. Jeremy G. Siek and Walid Taha. 2006. Gradual Typing for Functional Languages. In IN SCHEME AND FUNCTIONAL PROGRAMMING WORKSHOP. 81\u201392."},{"key":"e_1_3_2_2_30_1","volume-title":"Proceedings of the 13th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO). IEEE, 46\u201355","author":"Stepanov Evgeniy","year":"2015","unstructured":"Evgeniy Stepanov and Konstantin Serebryany . 2015 . MemorySanitizer: Fast Detector of Uninitialized Memory Use in C++ . In Proceedings of the 13th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO). IEEE, 46\u201355 . Evgeniy Stepanov and Konstantin Serebryany. 2015. MemorySanitizer: Fast Detector of Uninitialized Memory Use in C++. In Proceedings of the 13th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO). IEEE, 46\u201355."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_2_32_1","unstructured":"The Clang Team. 2020. DataFlowSanitizer. https:\/\/clang.llvm.org\/docs\/DataFlowSanitizer.html  The Clang Team. 2020. DataFlowSanitizer. https:\/\/clang.llvm.org\/docs\/DataFlowSanitizer.html"},{"key":"e_1_3_2_2_33_1","unstructured":"Willem van Schaik. 2011. PngSuite. http:\/\/www.schaik.com\/pngsuite\/  Willem van Schaik. 2011. PngSuite. http:\/\/www.schaik.com\/pngsuite\/"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32304-2_13"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133881"}],"event":{"name":"ESEC\/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Athens Greece","acronym":"ESEC\/FSE '21","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3468626","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3468264.3468626","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3468264.3468626","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:22Z","timestamp":1750191442000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3468626"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,18]]},"references-count":35,"alternative-id":["10.1145\/3468264.3468626","10.1145\/3468264"],"URL":"https:\/\/doi.org\/10.1145\/3468264.3468626","relation":{},"subject":[],"published":{"date-parts":[[2021,8,18]]},"assertion":[{"value":"2021-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}