On generating high quality tests for transition faults | IEEE Conference Publication | IEEE Xplore