{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T04:08:02Z","timestamp":1776398882573,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,25]],"date-time":"2017-08-25T00:00:00Z","timestamp":1503619200000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-12-1-0162"],"award-info":[{"award-number":["FA9550-12-1-0162"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,8,25]]},"DOI":"10.1145\/2970276.2970354","type":"proceedings-article","created":{"date-parts":[[2016,8,26]],"date-time":"2016-08-26T08:40:09Z","timestamp":1472200809000},"page":"472-482","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["APEx: automated inference of error specifications for C APIs"],"prefix":"10.1145","author":[{"given":"Yuan","family":"Kang","sequence":"first","affiliation":[{"name":"Columbia University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baishakhi","family":"Ray","sequence":"additional","affiliation":[{"name":"University of Virginia, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suman","family":"Jana","sequence":"additional","affiliation":[{"name":"Columbia University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,8,25]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Checker developer manual. http:\/\/clang-analyzer.llvm.org\/checker_ dev_manual.html."},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name= CVE-2014-0092","year":"2014","unstructured":"CVE-2014-0092. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name= CVE-2014-0092, 2014."},{"key":"e_1_3_2_1_3_1","volume-title":"https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name= CVE-2015-0208","year":"2015","unstructured":"CVE-2015-0208. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name= CVE-2015-0208, 2015."},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name= CVE-2015-0285","year":"2015","unstructured":"CVE-2015-0285. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name= CVE-2015-0285, 2015."},{"key":"e_1_3_2_1_5_1","volume-title":"https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name= CVE-2015-0288","year":"2015","unstructured":"CVE-2015-0288. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name= CVE-2015-0288, 2015."},{"key":"e_1_3_2_1_6_1","volume-title":"https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name= CVE-2015-0292","year":"2015","unstructured":"CVE-2015-0292. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name= CVE-2015-0292, 2015."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00593-0_25"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287630"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.130"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_11_1","volume-title":"Workshop on Self-Healing, Adaptive and Self-Managed Systems","author":"Broadwell P.","year":"2002","unstructured":"P. Broadwell, N. Sastry, and J. Traupman. FIG: a prototype tool for online verification of recovery mechanisms. In Workshop on Self-Healing, Adaptive and Self-Managed Systems, 2002."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390664"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/586110.586142"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1406221"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273464"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1364813.1364827"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052883.1052895"},{"key":"e_1_3_2_1_19_1","volume-title":"USENIX Security Symposium (USENIX Security)","author":"Jana S.","year":"2016","unstructured":"S. Jana, Y. Kang, S. Roth, and B. Ray. Automatically Detecting Error Handling Bugs using Error Specifications. In USENIX Security Symposium (USENIX Security), August 2016."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2010.31"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.230191"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855840.1855863"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063509.2063511"},{"key":"e_1_3_2_1_24_1","first-page":"388","volume-title":"IEEE\/IFIP International Conference on Dependable Systems & Networks (DSN)","author":"Marinescu P. D.","unstructured":"P. D. Marinescu and G. Candea. LFI: A practical and general librarylevel fault injector. In IEEE\/IFIP International Conference on Dependable Systems & Networks (DSN), pages 379\u2013388. IEEE, 2009."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786834"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/42372.42379"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635924"},{"key":"e_1_3_2_1_28_1","unstructured":"OWASP top 10. https:\/\/www.owasp.org\/images\/e\/e8\/OWASP_Top_ 10_2007.pdf."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993558"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2831143.2831147"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/318773.319251"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/357474.355046"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542506"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806672.1806687"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2006.3"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1323293.1294276"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029011"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_30"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1330017.1330019"},{"key":"e_1_3_2_1_40_1","unstructured":"D. A. Wheeler. Sloccount. Available at http:\/\/www.dwheeler.com\/ sloccount\/ 2015."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509523"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.94"}],"event":{"name":"ASE'16: ACM\/IEEE International Conference on Automated Software Engineering","location":"Singapore Singapore","acronym":"ASE'16","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2970276.2970354","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2970276.2970354","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2970276.2970354","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:29:38Z","timestamp":1763458178000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2970276.2970354"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,25]]},"references-count":42,"alternative-id":["10.1145\/2970276.2970354","10.1145\/2970276"],"URL":"https:\/\/doi.org\/10.1145\/2970276.2970354","relation":{},"subject":[],"published":{"date-parts":[[2016,8,25]]},"assertion":[{"value":"2016-08-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}