Dynamic redundancy identification in automatic test generation

The performance of an automatic test generator can be significantly improved by identifying redundancy by simple techniques which do not involve search. The authors present a technique for identifying redundant faults. This technique works dynamically during test generation but is not based on a search process. It exploits dominance and test-covering relations among faults, which allow identification of additional redundant faults after the test generator fails to generate a test for a target fault. This technique has been implemented in AT&T's LTG (LAMP2 test generation) system and has shown up to 32% reduction in the number of backtracks in test generation runs.<<ETX>>