Haoze Wu, Jia Pan, Peng Huang 0005. Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States. In Laurent Vanbever, Irene Zhang, editors, 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024, Santa Clara, CA, April 15-17, 2024. USENIX Association, 2024. [doi]
Abstract is missing.