Hierarchical test generation using precomputed testsd for modules | IEEE Conference Publication | IEEE Xplore