A test program generator works out a short sequence of tests that will reveal `stuck-at' and other faults in a subsystem.
Not lectured in 2009/10.