SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
Differential Testing for Software