Scalable testing of file system checkers
Authors:
Open Access
- 10 April 2012
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 239-252
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- S2E2011
- 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 execution2006
- DART2005
- Execution Generated Test Cases: How to Make Systems Code Crash Itself2005
- BASE2001
- Symbolic execution and program testingCommunications of the ACM, 1976