{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T15:54:23Z","timestamp":1783007663979,"version":"3.54.5"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/dsn.2013.6575307","type":"proceedings-article","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T16:18:36Z","timestamp":1376497116000},"page":"1-12","source":"Crossref","is-referenced-by-count":46,"title":["Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software"],"prefix":"10.1109","author":[{"given":"Suman","family":"Saha","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Pierre","family":"Lozi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gael","family":"Thomas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julia L.","family":"Lawall","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gilles","family":"Muller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/2078861.2078863"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1352592.1352618"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294276"},{"key":"15","article-title":"Specification mining with few false positives","author":"le goues","year":"0","journal-title":"TACAS '09"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150987"},{"key":"13","article-title":"Mining temporal specifications for error detection","author":"weimer","year":"0","journal-title":"TACAS 05"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595767"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287632"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294272"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45407-1_4"},{"key":"22","article-title":"From uncertainty to belief: Inferring the specification within","author":"kremenek","year":"0","journal-title":"OSDI '06"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.63"},{"key":"24","article-title":"Checking system rules using system-specific, programmer-written compiler extensions","author":"engler","year":"0","journal-title":"OSDI'00"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100058"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542516"},{"key":"27","article-title":"EIO: Error handling is occasionally correct","author":"gunawi","year":"0","journal-title":"FAST'08"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542506"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/2168836.2168865"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270354"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1002\/smr.375"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/800022.808315"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"32","article-title":"LFI: A practical and general librarylevel fault injector","author":"marinescu","year":"0","journal-title":"DSN'09"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029011"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966463"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950401"},{"key":"9","article-title":"PR-Miner: Automatically extracting implicit programming rules and detecting violations in large software code","author":"li","year":"0","journal-title":"ESEC\/FSE'05"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453150"}],"event":{"name":"2013 43rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN)","location":"Budapest, Hungary","start":{"date-parts":[[2013,6,24]]},"end":{"date-parts":[[2013,6,27]]}},"container-title":["2013 43rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6569391\/6575287\/06575307.pdf?arnumber=6575307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T21:28:37Z","timestamp":1490218117000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6575307\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/dsn.2013.6575307","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}