conftrace_

program reduction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

watchdog generation (1) partial failure (1) distributed system (1) bug detection (1) static analysis (1)

Papers

Understanding, Detecting and Localizing Partial Failures in Large System Software NSDI 2020