Characteristics of the three main algorithms:

Roth s D-Algorithm (D-ALG) defined the calculus and algorithms for ATPG using D-cubes.

Goel s PODEM used path propagation constraints to limit the ATPG search space and introduced backtrace.

Fujiwara s FAN efficiently constrained the backtrace to speed up search and further limited the search space.