Condenses an extensive literature search on the research into the nature of logical fault models and their interactions with automatic-test-pattern-generation algorithms, which has remained fairly static compared to the advances in the integrated circuit technology it is applied to. Also introduces