Improving Coverage-Based Localization of Multiple Faults Using Algorithms from Integer Linear Programming | IEEE Conference Publication | IEEE Xplore