Optimization of Line Justification Algorithm for Single Stuck at Faults Using Memory for Backtracking | IEEE Conference Publication | IEEE Xplore