Our paper "SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems" was just accepted to SOSP 2015 http://www.ssrc.ucsc.edu/sosp15/.
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy and Peter Sewell.
Accepted to SOSP'15.
The Symposium on Operating Systems Principles, held every 2 years, is one of the top venues for research on operating systems. The paper describes the construction of a filesystem testing oracle, and its application to find bugs in real-world filesystems. It represents the culmination of more than 3 person-years of work. The work was partially funded by EPRSC under grant EP/K022741/1, and Microsoft under their PhD scholarship programme (which funds Andrea Giugliano, a PhD student).