Directed test generation for effective fault localizationShay ArtziJulian Dolbyet al.2010ISSTA 2010Conference paper