Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection.