Delay test generation. I. Concepts and coverage metrics | IEEE Conference Publication | IEEE Xplore