Locating Regression Bugs. - Dor Nir; Shmuel S. Tyszberowicz; Amiram Yehudai (Haifa Verification Conference, 2007)