{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:19:27Z","timestamp":1730276367663,"version":"3.28.0"},"reference-count":45,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/issre.2015.7381840","type":"proceedings-article","created":{"date-parts":[[2016,1,14]],"date-time":"2016-01-14T23:50:11Z","timestamp":1452815411000},"page":"472-483","source":"Crossref","is-referenced-by-count":8,"title":["MoIO: Run-time monitoring for I\/O protocol violations in storage device drivers"],"prefix":"10.1109","author":[{"given":"Domenico","family":"Cotroneo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"De Simone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Fucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Natella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2382553.2382554"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.67"},{"journal-title":"Serial ATA Revision 3 0","year":"0","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380160304"},{"key":"ref31","article-title":"VProbes: Deep Observability into the ESXi Hypervisor","author":"carbone","year":"2014","journal-title":"VMware Technical Journal"},{"key":"ref30","article-title":"Detours: Binary Interception of Win32 Functions","author":"hunt","year":"1999","journal-title":"USENIX Windows NT Symposium"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/LADC.2013.24"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2010.72"},{"journal-title":"Linux ATA wiki - Main Page","year":"0","key":"ref35"},{"journal-title":"Advanced Host Controller Interface for Serial ATA","year":"0","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1189256.1189257"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1367829.1367831"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1353535.1346303"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270357"},{"key":"ref13","article-title":"Device driver safety through a reference validation mechanism","author":"williams","year":"0","journal-title":"OSDI'08"},{"key":"ref14","article-title":"Tolerating malicious device drivers in linux","author":"boyd-wickizer","year":"0","journal-title":"USENIXATC'10"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541970"},{"journal-title":"Operating System Concepts","year":"2013","author":"silberschatz","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2560011"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/357401.357402"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1323293.1294290"},{"article-title":"Gaining insight into the Linux kernel with Kprobes","year":"2005","author":"cohen","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1416944.1416946"},{"journal-title":"DTrace Dynamic Tracing in Oracle Solaris Mac OS X and FreeBSD","year":"2011","author":"gregg","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1961295.1950401"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519095"},{"article-title":"Instrumenting the Linux Kernel with SystemTap","year":"2005","author":"cohen","key":"ref29"},{"key":"ref5","article-title":"Don't blame disks for every storage subsystem failure","volume":"33","author":"jiang","year":"2008","journal-title":"login"},{"key":"ref8","article-title":"SymDrive: Testing drivers without devices","author":"renzelmann","year":"0","journal-title":"OSDI'12"},{"key":"ref7","article-title":"Testing closed-source binary device drivers with ddt","author":"kuznetsov","year":"0","journal-title":"USENIXATC'10"},{"key":"ref2","article-title":"Windows XP Kernel Crash Analysis","author":"ganapathi","year":"0","journal-title":"LISA'06"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945466"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LADC.2009.12"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610418"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.46"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1165389.945466"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/12.919278"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.40"},{"key":"ref41","article-title":"Benchmarking the Dependability of Windows and Linux using PostMark™ Workloads","author":"kanoun","year":"0","journal-title":"ISSRE '05"},{"key":"ref23","article-title":"Microreboot; a technique for cheap recovery","author":"candea","year":"0","journal-title":"OSDI'04"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2012.12"},{"year":"0","key":"ref26","article-title":"IOzone Filesystem Benchmark"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1991.146625"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2010.13"}],"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\/07381840.pdf?arnumber=7381840","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T16:49:44Z","timestamp":1490374184000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7381840\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/issre.2015.7381840","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}