conftrace_

runtime checker

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

dynamic analysis (1) semantic 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