Combining symbolic and genetic techniques for efficient sequential circuit test generation | IEEE Conference Publication | IEEE Xplore