Radu Banabic, George Candea. Fast black-box testing of system recovery code. In Pascal Felber, Frank Bellosa, Herbert Bos, editors, European Conference on Computer Systems, Proceedings of the Seventh EuroSys Conference 2012, EuroSys '12, Bern, Switzerland, April 10-13, 2012. pages 281-294, ACM, 2012. [doi]
Abstract is missing.