Zoltar: A Toolset for Automatic Fault Localization. - Tom Janssen; Rui Abreu 001; Arjan J. C. van Gemund (ASE, 2009)