{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T18:16:07Z","timestamp":1768414567718,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T00:00:00Z","timestamp":1527465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"the China Postdoctoral Science Foundation","award":["2017M620524"],"award-info":[{"award-number":["2017M620524"]}]},{"name":"the National Key Research and Development Program of China","award":["2017YFB0802900"],"award-info":[{"award-number":["2017YFB0802900"]}]},{"name":"Beijing Natural Science Foundation","award":["4182024"],"award-info":[{"award-number":["4182024"]}]},{"name":"Australian Research Council","award":["DE170101081"],"award-info":[{"award-number":["DE170101081"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,28]]},"DOI":"10.1145\/3196321.3196367","type":"proceedings-article","created":{"date-parts":[[2018,7,19]],"date-time":"2018-07-19T13:05:12Z","timestamp":1532005512000},"page":"385-388","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["CoBOT"],"prefix":"10.1145","author":[{"given":"Qing","family":"Gao","sequence":"first","affiliation":[{"name":"Peking University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sen","family":"Ma","sequence":"additional","affiliation":[{"name":"Peking University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sihao","family":"Shao","sequence":"additional","affiliation":[{"name":"Peking University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yulei","family":"Sui","sequence":"additional","affiliation":[{"name":"University of Technology Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoliang","family":"Zhao","sequence":"additional","affiliation":[{"name":"Peking University and CASIC_CQC Software Testing and Assessment Technology (Beijing) Corporation, Ltd"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luyao","family":"Ma","sequence":"additional","affiliation":[{"name":"Peking University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao","family":"Ma","sequence":"additional","affiliation":[{"name":"Peking University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fuyao","family":"Duan","sequence":"additional","affiliation":[{"name":"Peking University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao","family":"Deng","sequence":"additional","affiliation":[{"name":"Peking University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shikun","family":"Zhang","sequence":"additional","affiliation":[{"name":"Peking University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xianglong","family":"Chen","sequence":"additional","affiliation":[{"name":"CASC Software Testing Center"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"2018 from http:\/\/www.sqa-bj.com\/","author":"China","year":"2018","unstructured":"CQC China homepage. Retrieved Feb 5, 2018 from http:\/\/www.sqa-bj.com\/, 2018."},{"key":"e_1_3_2_1_2_1","volume-title":"2018 from http:\/\/www.cobot.net.cn\/","author":"Co BOT","year":"2018","unstructured":"CoBOT China homepage. Retrieved Feb 5, 2018 from http:\/\/www.cobot.net.cn\/, 2018."},{"key":"e_1_3_2_1_3_1","volume-title":"2018 from http:\/\/www.coverity.com\/","author":"Coverity","year":"2018","unstructured":"Coverity homepage. Retrieved Feb 5, 2018 from http:\/\/www.coverity.com\/, 2018."},{"key":"e_1_3_2_1_4_1","volume-title":"2018 from http:\/\/www.klocwork.com\/","author":"Klocwork","year":"2018","unstructured":"Klocwork homepage. Retrieved Feb 5, 2018 from http:\/\/www.klocwork.com\/, 2018."},{"key":"e_1_3_2_1_5_1","volume-title":"2018 from http:\/\/clang.llvm.org\/","author":"Clang","year":"2018","unstructured":"Clang homepage. Retrieved Feb 5, 2018 from http:\/\/clang.llvm.org\/, 2018."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486877"},{"key":"e_1_3_2_1_7_1","volume-title":"2018 from http:\/\/www.eclipse.org\/cdt\/","author":"Retrieved Feb","year":"2018","unstructured":"CDT homepage. Retrieved Feb 5, 2018 from http:\/\/www.eclipse.org\/cdt\/, 2018."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2015.7392049"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092729"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950296"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/383043.381532"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.53996"},{"key":"e_1_3_2_1_16_1","volume-title":"2018 from http:\/\/ultimate.informatik.uni-freiburg.de\/smtinterpol\/","author":"Interpol","year":"2018","unstructured":"SMTInterpol homepage. Retrieved Feb 5, 2018 from http:\/\/ultimate.informatik.uni-freiburg.de\/smtinterpol\/, 2018."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_13"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_16"},{"key":"e_1_3_2_1_19_1","volume-title":"2018 from http:\/\/findbugs.sourceforge.net\/","author":"Findbugs","year":"2018","unstructured":"Findbugs homepage. Retrieved Feb 5, 2018 from http:\/\/findbugs.sourceforge.net\/, 2018."},{"key":"e_1_3_2_1_20_1","volume-title":"2018 from https:\/\/pmd.github.io\/","author":"Pmd","year":"2018","unstructured":"Pmd homepage. Retrieved Feb 5, 2018 from https:\/\/pmd.github.io\/, 2018."},{"key":"e_1_3_2_1_21_1","volume-title":"2018 from https:\/\/www.checkmarx.com\/","author":"Checkmarx","year":"2018","unstructured":"Checkmarx homepage. Retrieved Feb 5, 2018 from https:\/\/www.checkmarx.com\/, 2018."},{"key":"e_1_3_2_1_22_1","first-page":"141","volume-title":"SCAM'17","author":"Thomas","year":"2017","unstructured":"Thomas Atzenhofer et al. Automatically adding missing libraries to java projects to foster better results from static analysis. In SCAM'17, pages 141--146, 2017."}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 26th Conference on Program Comprehension"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3196321.3196367","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3196321.3196367","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:57Z","timestamp":1750208937000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3196321.3196367"}},"subtitle":["static C\/C++ bug detection in the presence of incomplete code"],"short-title":[],"issued":{"date-parts":[[2018,5,28]]},"references-count":22,"alternative-id":["10.1145\/3196321.3196367","10.1145\/3196321"],"URL":"https:\/\/doi.org\/10.1145\/3196321.3196367","relation":{},"subject":[],"published":{"date-parts":[[2018,5,28]]},"assertion":[{"value":"2018-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}