GPU-based timing-aware test generation for small delay defects | IEEE Conference Publication | IEEE Xplore