Analysis of black box software testing techniques: A case study | IEEE Conference Publication | IEEE Xplore