Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen: PREFAIL: a programmable tool for multiple-failure injection. OOPSLA 2011: 171-188