IRON file systems
Bugs as deviant behavior: a general approach to inferring errors in systems code