Minimizing Faulty Executions of Distributed Systems [pdf]eecs.berkeley.edu40 pointsikneaddough10 years ago