Cooperative Bug Isolation : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition - Ben Liblit ((Lecture Notes in Computer Science))