Symmetry, Automorphism, and Test

This paper shows how network symmetries (or the graph-theory concept of automorphism) can be used to cluster faults into classes and thus simplify the process of finding a test set: tests for these automorphic classes are found by classical methods and then expanded using automorphisms to produce a test-set. The process does not seem more complex than the classical ones. Furthermore, by using a multilevel description, the process is easily extended to networks of modules.