An Experimental Protocol for Analyzing the Accuracy of Software Error Impact Analysis | IEEE Conference Publication | IEEE Xplore