An empirical study on software error detection: voting, instrumentation and Fagan inspection | IEEE Conference Publication | IEEE Xplore