Binary nonlinear codes, design for testability, graph theory, Minimum clique cover problem, Pseudo-exhaustive testing, Test vector compression technique.
