Robust Timing-Aware Test Generation Using Pseudo-Boolean Optimization | IEEE Conference Publication | IEEE Xplore