{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:09:51Z","timestamp":1784300991183,"version":"3.55.0"},"reference-count":11,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2010,2,1]],"date-time":"2010-02-01T00:00:00Z","timestamp":1264982400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2010,2]]},"abstract":"<jats:p>How Coverity built a bug-finding tool, and a business, around the unlimited supply of bugs in software systems.<\/jats:p>","DOI":"10.1145\/1646353.1646374","type":"journal-article","created":{"date-parts":[[2010,1,26]],"date-time":"2010-01-26T14:01:38Z","timestamp":1264514498000},"page":"66-75","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":494,"title":["A few billion lines of code later"],"prefix":"10.1145","volume":"53","author":[{"given":"Al","family":"Bessey","sequence":"first","affiliation":[{"name":"Coverity, Inc."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ken","family":"Block","sequence":"additional","affiliation":[{"name":"Coverity, Inc."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ben","family":"Chelf","sequence":"additional","affiliation":[{"name":"Coverity, Inc."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andy","family":"Chou","sequence":"additional","affiliation":[{"name":"Coverity, Inc."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bryan","family":"Fulton","sequence":"additional","affiliation":[{"name":"Coverity, Inc."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Seth","family":"Hallem","sequence":"additional","affiliation":[{"name":"Coverity, Inc."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Charles","family":"Henri-Gros","sequence":"additional","affiliation":[{"name":"Coverity, Inc."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Asya","family":"Kamsky","sequence":"additional","affiliation":[{"name":"Coverity, Inc."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Scott","family":"McPeak","sequence":"additional","affiliation":[{"name":"Coverity, Inc."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dawson","family":"Engler","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2010,2]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/380921.380932"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200006)30:7%3C775::AID-SPE309%3E3.0.CO;2-H"},{"key":"e_1_2_1_3_1","unstructured":"Coverity static analysis; http:\/\/www.coverity.com  Coverity static analysis; http:\/\/www.coverity.com"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512538"},{"key":"e_1_2_1_5_1","unstructured":"Edison Design Group. EDG C compiler front-end; http:\/\/www.edg.com  Edison Design Group. EDG C compiler front-end; http:\/\/www.edg.com"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251229.1251230"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512531"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512539"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the","author":"Hastings R.","year":"1992","unstructured":"Hastings , R. and Joyce , B . Purify: Fast detection of memory leaks and access errors . In Proceedings of the Winter 1992 USENIX Conference (Berkeley, CA , Jan. 20--24). USENIX Association , Berkeley, CA, 1992, 125--138. Hastings, R. and Joyce, B. Purify: Fast detection of memory leaks and access errors. In Proceedings of the Winter 1992 USENIX Conference (Berkeley, CA, Jan. 20--24). USENIX Association, Berkeley, CA, 1992, 125--138."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081728"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1646353.1646374","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1646353.1646374","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:40:56Z","timestamp":1750250456000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1646353.1646374"}},"subtitle":["using static analysis to find bugs in the real world"],"short-title":[],"issued":{"date-parts":[[2010,2]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["10.1145\/1646353.1646374"],"URL":"https:\/\/doi.org\/10.1145\/1646353.1646374","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2]]},"assertion":[{"value":"2010-02-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}