A mathematical programming method in test selection | IEEE Conference Publication | IEEE Xplore