Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains. - Yosi Ben-Asher; Igor Breger; Eitan Farchi; Ilia Gordon (Haifa Verification Conference, 2005)