conftrace_

test transformation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

silent failure (1) dynamic analysis (1) semantic checker (1) runtime checker (1) distributed system (1) static analysis (1) fault detection (1)

Papers

Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems OSDI 2025