Stuck-at is one class of logical fault, and the one that has
the most mature fault-simulation tool coverage. The idea
simply is that, net by net, the value is forced and the
observability of that fault at any output is determined.
This is repeated for all nets (although, often only at
levels above the cell library primitive gate, which could
exhibit behaviors other than stuck-output as a result of
internal stuck-ness). You get a fault-coverage percent
which your "methodology harpies" will insist beats some
target.
Now there are also stuck-to, open, weak-drive-vs-tight-
timing type faults which the stuck-at scheme will not
emulate. But stuck-at is a good first pass at assuring
test coverage.