Tailoring of black-box testing methods | IEEE Conference Publication | IEEE Xplore