On the derivation of a minimum test set in high quality transition testing | IEEE Conference Publication | IEEE Xplore