Return to Article Details Greedy Test Pattern Generation for Detecting Faults Using SAT in Locked circuits Download Download PDF