AFID: an automated fault identification tool. - Alex Edwards; Sean Tucker; Sébastien Worms; Rahul Vaidya; Brian Demsky (ISSTA, 2008)