Combining GAs and symbolic methods for high quality tests of sequential circuits | IEEE Conference Publication | IEEE Xplore