Lectured if time permits:
A test program generator works out a short sequence of tests that will reveal `stuck-at' and other faults in a subsystem.