Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection | IEEE Conference Publication | IEEE Xplore