Scalable testing of file system checkers
- 10 April 2012
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 7th ACM european conference on Computer Systems - EuroSys '12
- p. 239-252
- https://doi.org/10.1145/2168836.2168861
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- S2EPublished by Association for Computing Machinery (ACM) ,2011
- Understanding latent sector errors and how to protect against themACM Transactions on Storage, 2010
- An analysis of data corruption in the storage stackACM Transactions on Storage, 2008
- Using model checking to find serious file system errorsACM Transactions on Computer Systems, 2006
- Automatically generating malicious disks using symbolic executionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- DARTPublished by Association for Computing Machinery (ACM) ,2005
- Execution Generated Test Cases: How to Make Systems Code Crash ItselfLecture Notes in Computer Science, 2005
- BASEPublished by Association for Computing Machinery (ACM) ,2001
- Symbolic execution and program testingCommunications of the ACM, 1976