APISan: Sanitizing {API} Usages through Semantic Cross-Checking
Cross-checking semantic correctness: the case of finding file system bugs