Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell. SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. In Ethan L. Miller, Steven Hand, editors, Proceedings of the 25th Symposium on Operating Systems Principles, SOSP 2015, Monterey, CA, USA, October 4-7, 2015. pages 38-53, ACM, 2015. [doi]
Abstract is missing.