{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:32Z","timestamp":1763468072705,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,4,10]],"date-time":"2012-04-10T00:00:00Z","timestamp":1334016000000},"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":[],"published-print":{"date-parts":[[2012,4,10]]},"DOI":"10.1145\/2168836.2168861","type":"proceedings-article","created":{"date-parts":[[2012,4,10]],"date-time":"2012-04-10T12:19:38Z","timestamp":1334060378000},"page":"239-252","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Scalable testing of file system checkers"],"prefix":"10.1145","author":[{"given":"Jo\u00e3o Carlos Menezes","family":"Carreira","sequence":"first","affiliation":[{"name":"MPI-SWS, Saarbrucken, Germany"}]},{"given":"Rodrigo","family":"Rodrigues","sequence":"additional","affiliation":[{"name":"MPI-SWS, Saarbrucken, Germany"}]},{"given":"George","family":"Candea","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[{"name":"MPI-SWS, Saarbrucken, Germany"}]}],"member":"320","published-online":{"date-parts":[[2012,4,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"R. Tolerating File-System Mistakes with EnvyFS. In USENIX Annual Technical Conference '09","author":"BAIRAVASUNDARAM L.","year":"2009","unstructured":"BAIRAVASUNDARAM , L. , SUNDARARAMAN , S. , ARPACIDUSSEAU , A. , AND ARPACI-DUSSEAU , R. Tolerating File-System Mistakes with EnvyFS. In USENIX Annual Technical Conference '09 ( 2009 ), USENIX. BAIRAVASUNDARAM, L., SUNDARARAMAN, S., ARPACIDUSSEAU, A., AND ARPACI-DUSSEAU, R. Tolerating File-System Mistakes with EnvyFS. In USENIX Annual Technical Conference '09 (2009), USENIX."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/1416944.1416947"},{"key":"e_1_3_2_1_3_1","volume-title":"DSN '08: Dependable Systems and Networks","author":"BAIRAVASUNDARAM L. N.","year":"2008","unstructured":"BAIRAVASUNDARAM , L. N. , RUNGTA , M. , AGRAWA , N. , ARPACI-DUSSEAU , A. C. , ARPACI-DUSSEAU , R. H. , AND SWIFT , M. M. Analyzing the effects of disk-pointer corruption . In DSN '08: Dependable Systems and Networks ( 2008 ), IEEE Press . BAIRAVASUNDARAM, L. N., RUNGTA, M., AGRAWA, N., ARPACI-DUSSEAU, A. C., ARPACI-DUSSEAU, R. H., AND SWIFT, M. M. Analyzing the effects of disk-pointer corruption. In DSN '08: Dependable Systems and Networks (2008), IEEE Press."},{"key":"e_1_3_2_1_4_1","volume-title":"AND ENGLER","author":"CADAR C.","year":"2008","unstructured":"CADAR , C. , DUNBAR , D. , AND ENGLER , D. KLEE : Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In OSDI '08: Operating systems design and implementation ( 2008 ), USENIX. CADAR, C., DUNBAR, D., AND ENGLER, D. KLEE : Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In OSDI '08: Operating systems design and implementation (2008), USENIX."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1007\/11537328_2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/1950365.1950396"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_8_1","volume-title":"NSDI '11: Networked Systems Design and Implementation","author":"GUNAWI H.","year":"2011","unstructured":"GUNAWI , H. , DO , T. , JOSHI , P. , ALVARO , P. , HELLERSTEIN , J. , ARPACI-DUSSEAU , A. , ARPACI-DUSSEAU , R. , SEN , K. , AND BORTHAKUR , D. FATE and DESTINI: A framework for cloud recovery testing . In NSDI '11: Networked Systems Design and Implementation ( 2011 ), USENIX. GUNAWI, H., DO, T., JOSHI, P., ALVARO, P., HELLERSTEIN, J., ARPACI-DUSSEAU, A., ARPACI-DUSSEAU, R., SEN, K., AND BORTHAKUR, D. FATE and DESTINI: A framework for cloud recovery testing. In NSDI '11: Networked Systems Design and Implementation (2011), USENIX."},{"key":"e_1_3_2_1_9_1","volume-title":"OSDI '08: Operating Systems Design and Implementation","author":"GUNAWI H. S.","year":"2008","unstructured":"GUNAWI , H. S. , RAJIMWALE , A. , ARPACI-DUSSEAU , A. C. , AND ARPACI-DUSSEAU , R. H. SQCK: a declarative file system checker . In OSDI '08: Operating Systems Design and Implementation ( 2008 ), USENIX. GUNAWI, H. S., RAJIMWALE, A., ARPACI-DUSSEAU, A. C., AND ARPACI-DUSSEAU, R. H. SQCK: a declarative file system checker. In OSDI '08: Operating Systems Design and Implementation (2008), USENIX."},{"key":"e_1_3_2_1_10_1","volume-title":"FAST '08: File and Storage Technologies","author":"JIANG W.","year":"2008","unstructured":"JIANG , W. , HU , C. , ZHOU , Y. , AND KANEVSKY , A. Are disks the dominant contributor for storage failures?: a comprehensive study of storage subsystem failure characteristics . In FAST '08: File and Storage Technologies ( 2008 ), USENIX. JIANG, W., HU, C., ZHOU, Y., AND KANEVSKY, A. Are disks the dominant contributor for storage failures?: a comprehensive study of storage subsystem failure characteristics. In FAST '08: File and Storage Technologies (2008), USENIX."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/360248.360252"},{"unstructured":"PANZER-STEINDEL B. Data integrity. http:\/\/indico.cern.ch\/getFile.py\/access?contribId=3&sessionId=0&resId=1&materialId=paper&confId=13797 2007.  PANZER-STEINDEL B. Data integrity. http:\/\/indico.cern.ch\/getFile.py\/access?contribId=3&sessionId=0&resId=1&materialId=paper&confId=13797 2007.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","volume-title":"FAST '07: File and Storage Technologies","author":"PINHEIRO E.","year":"2007","unstructured":"PINHEIRO , E. , WEBER , W.-D. , AND BARROSO , L. A. Failure trends in a large disk drive population . In FAST '07: File and Storage Technologies ( 2007 ), USENIX. PINHEIRO, E., WEBER, W.-D., AND BARROSO, L. A. Failure trends in a large disk drive population. In FAST '07: File and Storage Technologies (2007), USENIX."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/502034.502037"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/1837915.1837917"},{"key":"e_1_3_2_1_17_1","volume-title":"OSDI '06: Operating systems design and implementation","author":"YANG J.","year":"2006","unstructured":"YANG , J. , SAR , C. , AND ENGLER , D. EXPLODE: a lightweight, general system for finding serious storage system errors . In OSDI '06: Operating systems design and implementation ( 2006 ), USENIX Association . YANG, J., SAR, C., AND ENGLER, D. EXPLODE: a lightweight, general system for finding serious storage system errors. In OSDI '06: Operating systems design and implementation (2006), USENIX Association."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1109\/SP.2006.7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/1189256.1189259"}],"event":{"sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"acronym":"EuroSys '12","name":"EuroSys '12: Seventh EuroSys Conference 2012","location":"Bern Switzerland"},"container-title":["Proceedings of the 7th ACM european conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2168836.2168861","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2168836.2168861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:45Z","timestamp":1750240485000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2168836.2168861"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,10]]},"references-count":18,"alternative-id":["10.1145\/2168836.2168861","10.1145\/2168836"],"URL":"https:\/\/doi.org\/10.1145\/2168836.2168861","relation":{},"subject":[],"published":{"date-parts":[[2012,4,10]]},"assertion":[{"value":"2012-04-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}