Evaluation of test metrics: stuck-at, bridge coverage estimate and gate exhaustive | IEEE Conference Publication | IEEE Xplore