An Efficient Software Faults Localization Method based on Program Spectrum | IEEE Conference Publication | IEEE Xplore