A Novel Test Generation Method for Small-Delay Defects with User-Defined Fault Model | IEEE Conference Publication | IEEE Xplore