【论文阅读】Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States 07-31