{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T08:45:35Z","timestamp":1725439535432},"reference-count":42,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/issre.2015.7381811","type":"proceedings-article","created":{"date-parts":[[2016,1,14]],"date-time":"2016-01-14T23:50:11Z","timestamp":1452815411000},"page":"172-182","source":"Crossref","is-referenced-by-count":1,"title":["Automated resource release in device drivers"],"prefix":"10.1109","author":[{"given":"Jia-Ju","family":"Bai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu-Ping","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hu-Qiu","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shi-Min","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1145\/1982185.1982316"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1145\/1141277.1141621"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/ICSM.2012.6405323"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1145\/1133956.1133975"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1145\/1133981.1134024"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1145\/1250734.1250766"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1145\/2602988.2602990"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1145\/1508244.1508278"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1007\/978-3-540-73589-2_7"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1145\/1065010.1065028"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/ICST.2013.24"},{"year":"0","journal-title":"Managed device resource in Linux drivers","key":"ref40"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/1168054.1168070"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1145\/1375634.1375636"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/1967677.1967684"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/1134285.1134325"},{"key":"ref15","first-page":"233","article-title":"Iterative mining of re-source-releasing specifications","author":"wu","year":"2011","journal-title":"Proceedings of the International Conference on Automated Software Engineering"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/COMPSAC.2014.10"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/APSEC.2014.66"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/1330017.1330019"},{"key":"ref19","first-page":"13","article-title":"Automatically finding and patching bad error handling","author":"subkraut","year":"2006","journal-title":"The 6th European Dependable Computing Conference"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1145\/1321631.1321661"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/DSN.2013.6575307"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1145\/1081706.1081755"},{"year":"0","journal-title":"Linux Kernel Mailing List","key":"ref3"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/1806799.1806876"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1109\/ICSE.2015.64"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/COMPSAC.2012.22"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/1190216.1190224"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/ASE.2013.6693097"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/945445.945466"},{"key":"ref9","article-title":"Testing closed-source binary device drivers with DDT","author":"kuznetsov","year":"2010","journal-title":"Proceedings of the 2010 USENIX Annual Technical Conference"},{"year":"2005","author":"corbet","journal-title":"Linux Device Drivers","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/TSE.2011.124"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1145\/2581122.2544151"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1145\/1189256.1189257"},{"year":"0","key":"ref42"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1145\/1134285.1134321"},{"year":"0","journal-title":"Clang compiler","key":"ref41"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1145\/2338965.2336784"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1145\/1024393.1024412"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1145\/1368088.1368110"}],"event":{"name":"2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)","start":{"date-parts":[[2015,11,2]]},"location":"Gaithersbury, MD, USA","end":{"date-parts":[[2015,11,5]]}},"container-title":["2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7374093\/7381793\/07381811.pdf?arnumber=7381811","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T16:36:49Z","timestamp":1490373409000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7381811\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/issre.2015.7381811","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}