3 ms·SibylFS: spec and oracle-based testing for Posix and real-world file systems [pdf]2 points by antouank 10y ago