Improving coverage analysis and test generation for large designs (1999)

by P Bergmann, M A Horowitz
Venue:IEEE Int. Conf. for CAD