Scott, C., Panda, A., Brajkovic, V., Necula, G., Krishnamurthy, A. and Shenker, S. Minimizing Faulty Executions of Distributed Systems. NSDI 2016.