The Support of Interface Specifications in Black-box Components Testing | IEEE Conference Publication | IEEE Xplore