conftrace_

semantic checker

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

dynamic analysis (1) runtime checker (1) silent failure (1) test transformation (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