An efficient algorithm for pairwise test case generation in presence of constraints | IEEE Conference Publication | IEEE Xplore