On the relationship between stuck-at fault coverage and transition fault coverage | IEEE Conference Publication | IEEE Xplore