Fast black-box testing of system recovery code.

Radu Banabic, George Candea

Browse the full EuroSys paper archive.