A framework for evaluating test pattern generation strategies | IEEE Conference Publication | IEEE Xplore