{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:43Z","timestamp":1750220743863,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation","award":["CCF-1464123 and CCF-1659807"],"award-info":[{"award-number":["CCF-1464123 and CCF-1659807"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377812.3390895","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T22:53:56Z","timestamp":1601592836000},"page":"310-311","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Summary-guided incremental symbolic execution"],"prefix":"10.1145","author":[{"given":"Qiuping","family":"Yi","sequence":"first","affiliation":[{"name":"Texas State University"}]},{"given":"Junye","family":"Wen","sequence":"additional","affiliation":[{"name":"Texas State University"}]},{"given":"Guowei","family":"Yang","sequence":"additional","affiliation":[{"name":"Texas State University"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"reference":[{"volume-title":"OSDI'08","year":"2008","author":"Cadar Cristian","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","volume-title":"ECOOP'18","volume":"109","author":"Chen Junjie","year":"2018"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884843"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254088"},{"key":"e_1_3_2_1_7_1","unstructured":"Niels Lohmann. [n.d.]. Mutate++ - A C++ Mutation Test Environment. In https:\/\/github.com\/nlohmann\/mutate_cpp.  Niels Lohmann. [n.d.]. Mutate++ - A C++ Mutation Test Environment. In https:\/\/github.com\/nlohmann\/mutate_cpp."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Hristina Palikareva Tomasz Kuchta and Cristian Cadar. 2016. Shadow of a Doubt: Testing for Divergences Between Software Versions (ICSE '16). 1181--1192.  Hristina Palikareva Tomasz Kuchta and Cristian Cadar. 2016. Shadow of a Doubt: Testing for Divergences Between Software Versions (ICSE '16). 1181--1192.","DOI":"10.1145\/2884781.2884845"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993558"},{"key":"e_1_3_2_1_10_1","unstructured":"Koushik Sen George Necula Liang Gong and Wontae Choi. 2015. MultiSE: Multi-Path Symbolic Execution Using Value Summaries. In ESEC\/FSE'15. 842--853.  Koushik Sen George Necula Liang Gong and Wontae Choi. 2015. MultiSE: Multi-Path Symbolic Execution Using Value Summaries. In ESEC\/FSE'15. 842--853."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180251"},{"volume-title":"Reusing and Recycling Constraints in Program Analysis (FSE '12)","year":"2012","author":"Visser Willem","key":"e_1_3_2_1_12_1"},{"volume-title":"Memoized Symbolic Execution. In ISSTA'12","year":"2012","author":"Yang Guowei","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-019-00331-9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2659751"}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"],"location":"Seoul South Korea","acronym":"ICSE '20"},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377812.3390895","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377812.3390895","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377812.3390895","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:42Z","timestamp":1750199922000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377812.3390895"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":15,"alternative-id":["10.1145\/3377812.3390895","10.1145\/3377812"],"URL":"https:\/\/doi.org\/10.1145\/3377812.3390895","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}