Sledgehammer: Cluster-Fueled Debugging.

Andrew Quinn, Jason Flinn, Michael J. Cafarella

Browse the full OSDI paper archive.