On the effectiveness of mutation analysis as a black box testing technique | IEEE Conference Publication | IEEE Xplore