Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
seL4: formal verification of an OS kernel
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
SCFS: a shared cloud-backed file system
Testing of several distributed file-systems (HDFS, Ceph and GlusterFS) for supporting the HEP experiments analysis
The Design and Implementation of a LogStruc-tured File System
The Design and Implementation of the Database File System
Membrane: Operating system support for restartable file systems
Iris: a scalable cloud file system with efficient integrity checks
FABS: file and block surveillance system for determining anomalous disk accesses
Automatic generation of test scripts from formal test specifications
PipesFS: fast Linux I/O in the unix tradition
Combining unit-level symbolic execution and system-level concrete execution for testing nasa software
A Survey of Distributed File Systems
FARMER: a novel approach to file access correlation mining and evaluation reference model for optimizing peta-scale file system performance
Distributed file systems: concepts and examples
Dataset for forensic analysis of B-tree file system
BetrFS: a right-optimized write-optimized file system
ShieldFS: a self-healing, ransomware-aware filesystem
Automated Test Oracles: A Survey
A Comparison of Three Distributed File System Architectures: Vnode, Sprite, and Plan 9
A New Food Guide For North American Vegetarians
Microbial biotechnology.
Synthesis and Fluorescence Studies of Some New Fluorophores and Their Effect on Hybridization of Oligodeoxyribonucleotides
Chainspace: A Sharded Smart Contracts Platform
Terra: a virtual machine-based platform for trusted computing