Software fault localization based on program slicing spectrum | IEEE Conference Publication | IEEE Xplore