conftrace_

testing framework

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

fault injection (1) partial failure (1) distributed system (1) static analysis (1)

Papers

Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States NSDI 2024