Automatic test generation, march tests, memory faults, transition sequence