Linked Presentation: Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States
