International Symposium on Automated & Analysis-Driven Debugging (6th 2005 Monterey, CA)