Cookbook, a recipe for fault localization | IEEE Conference Publication | IEEE Xplore