conftrace_

bounded testing

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

crash consistency (1) black-box testing (1) file system testing (1) crash simulation (1) file system (1) crash recovery (1) bug detection (1) formal verification (1)

Papers

Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing OSDI 2018