difference-testing

Coverage-directed differential testing of JVM implementations
Privacy oracle: a system for finding application leaks with black box differential testing
Guided differential testing of certificate validation in SSL/TLS implementations
Randomized Differential Testing as a Prelude to Formal Verification

主要是一个 case study，给飞行软件做随机测试也是和 ref impl 对拍，但是加上 NAND 模拟和错误注入、反例最小化
Differential testing: a new approach to change detection
Deep differential testing of JVM implementations
Hunting for bugs in code coverage tools via randomized differential testing
All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-consistent Applications. OSDI'14
Workshop on Program Equivalence
Understanding and Mitigating Twin Function Misuses in Operating System Kernel

semantic-bug

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
Cross-checking Semantic Correctness: The Case of Finding File System Bugs
Finding and Understanding Bugs in C Compilers
Bugs as deviant behavior: A general approach to inferring errors in systems code.
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework
Arilo C DiasNeto, Rajesh Subramanyan, Marlon Vieira, and Guilherme H Travassos. A Survey on Model-based Testing Approaches: A Systematic Review.
Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Jian Lu. Testing File System Implementations on Layered Models. (ICSE'2020)