Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path
Cross-checking semantic correctness: the case of finding file system bugs