Cross-checking semantic correctness: the case of finding file system bugs.

Changwoo Min Sanidhya Kashyap Byoungyoung Lee Chengyu Song Taesoo Kim

Published in: SOSP (2015)

Keyphrases

file system
search tools
data transfer
semantic similarity
multi tiered
storage systems
databases
access patterns
application specific
scalable distributed
metadata management
source code
semantic information
software systems
storage devices
semantic web
continuous media
data structure
high level